getJarEntry() throws IOException { if (jar_file == null) jar_file = getJarFile();
public JarEntry getJarEntry() throws IOException { JarFile jarFile = getJarFile();
getJarEntry() throws IOException{  if (jar_file == null)    jar_file = getJarFile();  return(jar_file.getJarEntry(entry_name));}