263         try (JarOutputStream jout = new JarOutputStream(out)) {

   263         try (JarOutputStream jout = new JarOutputStream(out)) {

   264             copyJarFile(in, jout);

   264             copyJarFile(in, jout);

   265         }

   265         }

   266     }

   266     }

   267         // Wrapper to prevent closing of client-supplied stream.

   267         // Wrapper to prevent closing of client-supplied stream.

   269     class NonCloser extends FilterOutputStream {

   269     class NonCloser extends FilterOutputStream {

   270         NonCloser(OutputStream out) { super(out); }

   270         NonCloser(OutputStream out) { super(out); }

   271         public void close() throws IOException { flush(); }

   271         public void close() throws IOException { flush(); }

   272     }

   272     }

   273    static String getJarEntryName(String name) {

   273    static String getJarEntryName(String name) {