for (int i=0; i<n; i++) {
varDims[i] = dimensions[input.readInt()];
}
} catch (IndexOutOfBoundsException cause) {
final DataStoreException e = malformedHeader();
e.initCause(cause);
throw e;
}
/*
* Following block is almost a copy-and-paste of similar block in the contructor,
* but with less cases in the "switch" statements.