162 paths.setContext(context); |
162 paths.setContext(context); |
163 } |
163 } |
164 |
164 |
165 fsInfo = FSInfo.instance(context); |
165 fsInfo = FSInfo.instance(context); |
166 |
166 |
167 // retain check for system property for compatibility |
167 useZipFileIndex = options.isSet("useOptimizedZip"); |
168 useZipFileIndex = options.isUnset("useJavaUtilZip") |
|
169 && System.getProperty("useJavaUtilZip") == null; |
|
170 if (useZipFileIndex) |
168 if (useZipFileIndex) |
171 zipFileIndexCache = ZipFileIndexCache.getSharedInstance(); |
169 zipFileIndexCache = ZipFileIndexCache.getSharedInstance(); |
172 |
170 |
173 mmappedIO = options.isSet("mmappedIO"); |
171 mmappedIO = options.isSet("mmappedIO"); |
174 ignoreSymbolFile = options.isSet("ignore.symbol.file"); |
172 ignoreSymbolFile = options.isSet("ignore.symbol.file"); |
497 boolean usePreindexedCache = false; |
495 boolean usePreindexedCache = false; |
498 String preindexCacheLocation = null; |
496 String preindexCacheLocation = null; |
499 |
497 |
500 if (!useZipFileIndex) { |
498 if (!useZipFileIndex) { |
501 zdir = new ZipFile(zipFileName); |
499 zdir = new ZipFile(zipFileName); |
502 } |
500 } else { |
503 else { |
|
504 usePreindexedCache = options.isSet("usezipindex"); |
501 usePreindexedCache = options.isSet("usezipindex"); |
505 preindexCacheLocation = options.get("java.io.tmpdir"); |
502 preindexCacheLocation = options.get("java.io.tmpdir"); |
506 String optCacheLoc = options.get("cachezipindexdir"); |
503 String optCacheLoc = options.get("cachezipindexdir"); |
507 |
504 |
508 if (optCacheLoc != null && optCacheLoc.length() != 0) { |
505 if (optCacheLoc != null && optCacheLoc.length() != 0) { |