super.flush();
	public boolean flush() throws DBException {		buffer.flush();		pages.remove(owner);		super.flush();		try {			if (fileHeader.isDirty())				fileHeader.write();		} catch (IOException ioe) {			LOG.debug("sync failed", ioe);		}		return true;	}