out.println(GENERATED_FROM + ": " + pluginManifestLocation.lastModified());
out.write(GENERATED_FROM + ": " + pluginManifestLocation.lastModified()); out.newLine();
	private void generateTimestamp() {		// so it is easy to tell which ones are generated		out.println(GENERATED_FROM + ": " + pluginManifestLocation.lastModified());		 //$NON-NLS-1$	}