1.1 --- a/src/share/classes/com/sun/tools/javac/file/JavacFileManager.java Wed Sep 29 23:27:57 2010 -0700
1.2 +++ b/src/share/classes/com/sun/tools/javac/file/JavacFileManager.java Thu Sep 30 10:47:12 2010 -0700
1.3 @@ -150,8 +150,8 @@
1.4
1.5 useZipFileIndex = System.getProperty("useJavaUtilZip") == null;// TODO: options.get("useJavaUtilZip") == null;
1.6
1.7 - mmappedIO = options.get("mmappedIO") != null;
1.8 - ignoreSymbolFile = options.get("ignore.symbol.file") != null;
1.9 + mmappedIO = options.isSet("mmappedIO");
1.10 + ignoreSymbolFile = options.isSet("ignore.symbol.file");
1.11 }
1.12
1.13 public JavaFileObject getFileForInput(String name) {
1.14 @@ -435,7 +435,7 @@
1.15 zdir = new ZipFile(zipFileName);
1.16 }
1.17 else {
1.18 - usePreindexedCache = options.get("usezipindex") != null;
1.19 + usePreindexedCache = options.isSet("usezipindex");
1.20 preindexCacheLocation = options.get("java.io.tmpdir");
1.21 String optCacheLoc = options.get("cachezipindexdir");
1.22
1.23 @@ -469,7 +469,7 @@
1.24 null,
1.25 usePreindexedCache,
1.26 preindexCacheLocation,
1.27 - options.get("writezipindexfiles") != null));
1.28 + options.isSet("writezipindexfiles")));
1.29 }
1.30 }
1.31 else {
1.32 @@ -482,7 +482,7 @@
1.33 symbolFilePrefix,
1.34 usePreindexedCache,
1.35 preindexCacheLocation,
1.36 - options.get("writezipindexfiles") != null));
1.37 + options.isSet("writezipindexfiles")));
1.38 }
1.39 }
1.40 } catch (FileNotFoundException ex) {
