}
public String getHomedir() { return homeDir; }
private void open() {
terms = new PagedFile(termsFile=new File(homeDir + File.separator + "terms"));
postings = new PagedFile(postingsFile=new File(homeDir + File.separator + "postings"));
docData = new OffsetValueFilePair(
docOffsetFile=new File(homeDir + File.separator + "docOffset"),
docValueFile=new File(homeDir + File.separator + "docValue")
);
}