public void close() throws IOException { lexIdFile.close(); }
public int getIndex(int termid) throws IOException { lexIdFile.seek(SIZE_OF_INT * (long) termid); return lexIdFile.readInt(); }