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