output.writeUTF(RegistryProperties.getProperty(IRegistryConstants.PROP_OS)); output.writeUTF(RegistryProperties.getProperty(IRegistryConstants.PROP_WS)); output.writeUTF(RegistryProperties.getProperty(IRegistryConstants.PROP_NL));
output.writeUTF(RegistryProperties.getProperty(IRegistryConstants.PROP_OS, RegistryProperties.empty)); output.writeUTF(RegistryProperties.getProperty(IRegistryConstants.PROP_WS, RegistryProperties.empty)); output.writeUTF(RegistryProperties.getProperty(IRegistryConstants.PROP_NL, RegistryProperties.empty));
	private void writeCacheHeader(DataOutputStream output, long registryTimeStamp) throws IOException {		output.writeInt(TableReader.CACHE_VERSION);		output.writeLong(registry.computeState());		output.writeLong(registryTimeStamp);		output.writeLong(mainDataFile.length());		output.writeLong(extraDataFile.length());		output.writeLong(contributionsFile.length());		output.writeLong(contributorsFile.length());		output.writeLong(namespacesFile.length());		output.writeLong(orphansFile.length());		output.writeUTF(RegistryProperties.getProperty(IRegistryConstants.PROP_OS));		output.writeUTF(RegistryProperties.getProperty(IRegistryConstants.PROP_WS));		output.writeUTF(RegistryProperties.getProperty(IRegistryConstants.PROP_NL));	}