return(jar_file.getJarEntry(entry_name)); }
return jarFile != null ? jarFile.getJarEntry(entryName) : null; }
getJarEntry() throws IOException{  if (jar_file == null)    jar_file = getJarFile();  return(jar_file.getJarEntry(entry_name));}