public int[] readIntArray(String fieldName) throws IOException {
final int currentPos = in.position();
try {
int pos = readPosition(fieldName, FieldType.INT_ARRAY);
in.position(pos);
return in.readIntArray();
} finally {
in.position(currentPos);
}
}
