public boolean flushSome(int maxPages) { myFile.flushSomePages(maxPages); if (!myFile.isDirty()) { force(); return true; } return false; }
public boolean isDirty() { return myIsDirty || myFile.isDirty(); }