write_header(Attributes.Name.MANIFEST_VERSION.toString(), version, pw);
write_header(Attributes.Name.MANIFEST_VERSION.toString(), version, out);
  private static void write_version_info(Attributes attr, PrintWriter pw)  {		// First check if there is already a version attribute set		String version = attr.getValue(Attributes.Name.MANIFEST_VERSION);    if (version == null)      {			version = "1.0";		}		write_header(Attributes.Name.MANIFEST_VERSION.toString(), version, pw);	}