saveNamespaces(objectManager.getContributions());
saveContributions(objectManager.getContributions()); saveContributors(objectManager.getContributors()); saveNamespaces(objectManager.getNamespacesIndex());
	private void saveExtensionRegistry(long timestamp) throws IOException {		ExtensionPointHandle[] points = objectManager.getExtensionPointsHandles();		offsets = new HashtableOfInt(objectManager.getNextId());		for (int i = 0; i < points.length; i++) {			saveExtensionPoint(points[i]);		}		saveOrphans();		saveNamespaces(objectManager.getContributions());		closeFiles(); //Close the files here so we can write the appropriate size information in the table file.		saveTables(timestamp); //Write the table last so if that is something went wrong we can know	}