private void saveTables(RegistryObjectManager objectManager, long registryTimeStamp) throws IOException {
private void saveTables(long registryTimeStamp) throws IOException {
	private void saveTables(RegistryObjectManager objectManager, long registryTimeStamp) throws IOException {		FileOutputStream fosTable = new FileOutputStream(tableFile);		DataOutputStream outputTable = new DataOutputStream(new BufferedOutputStream(fosTable));		writeCacheHeader(outputTable, registryTimeStamp);		outputTable.writeInt(objectManager.getNextId());		offsets.save(outputTable);		objectManager.getExtensionPoints().save(outputTable);		outputTable.flush();		fosTable.getFD().sync();		outputTable.close();	}