return(jar_file.getManifest()); }
return file != null ? file.getManifest() : null; }
getManifest() throws IOException{  if (jar_file == null)    jar_file = getJarFile();  return(jar_file.getManifest());}