jdk12 code (no workaround of ZipInputStream bug)

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@362 379699f6-c40d-0410-875b-85095c16579e

jode/jode/bytecode/SearchPath.java

@@ -278,6 +278,7 @@ public class SearchPath  {
 		ZipEntry ze;
 		while ((ze = zis.getNextEntry()) != null) {
 		    if (ze.getName().equals(filename)) {
+///#ifdef JDK11
 			// The skip method in jdk1.1.7 ZipInputStream
 			// is buggy.  We return a wrapper that fixes
 			// this.
@@ -296,6 +297,9 @@ public class SearchPath  {
 				return skipped;
 			    }
 			};
+///#else
+///			return zis;
+///#endif
 		    }
 		    zis.closeEntry();
 		}