lib/javajs/api/GenericZipInputStream.js

   1 Clazz.declarePackage ("javajs.api");
   2 Clazz.load (["java.util.zip.ZipInputStream", "javajs.api.ZInputStream"], "javajs.api.GenericZipInputStream", null, function () {
   3 c$ = Clazz.declareType (javajs.api, "GenericZipInputStream", java.util.zip.ZipInputStream, javajs.api.ZInputStream);
   4 });