getManifest() throws IOException { if (jar_file == null) jar_file = getJarFile();
public Manifest getManifest() throws IOException { JarFile file = getJarFile();
getManifest() throws IOException{  if (jar_file == null)    jar_file = getJarFile();  return(jar_file.getManifest());}