jdk/src/share/classes/java/lang/Package.java
changeset 8543 e5ec12a932da
parent 7803 56bc97d69d93
child 9035 1255eb81cc2f
child 9266 121fb370f179
equal deleted inserted replaced
8542:62c7b10ce177 8543:e5ec12a932da
   574 
   574 
   575     /*
   575     /*
   576      * Returns the Manifest for the specified JAR file name.
   576      * Returns the Manifest for the specified JAR file name.
   577      */
   577      */
   578     private static Manifest loadManifest(String fn) {
   578     private static Manifest loadManifest(String fn) {
   579         try {
   579         try (FileInputStream fis = new FileInputStream(fn);
   580             FileInputStream fis = new FileInputStream(fn);
   580              JarInputStream jis = new JarInputStream(fis, false))
   581             JarInputStream jis = new JarInputStream(fis, false);
   581         {
   582             Manifest man = jis.getManifest();
   582             return jis.getManifest();
   583             jis.close();
       
   584             return man;
       
   585         } catch (IOException e) {
   583         } catch (IOException e) {
   586             return null;
   584             return null;
   587         }
   585         }
   588     }
   586     }
   589 
   587