for (int i = 0; i < numPages; ++i) {
byte[] data = new byte[pageSize];
file.readFully(data);
// file.annotateLast(data.length, "Page", i + 1);
ArrayDataInput din = new ArrayDataInput(data, file.createLastSubAnnotator(data.length));
pages.add(new RawDataPage(i, din));
}
return pages;
}