Lines Matching refs:options
167 contextUseOptimizedZip = options.getBoolean("useOptimizedZip", true);
171 mmappedIO = options.isSet("mmappedIO");
172 ignoreSymbolFile = options.isSet("ignore.symbol.file");
174 String sf = options.get("sortFiles");
519 usePreindexedCache = options.isSet("usezipindex");
520 preindexCacheLocation = options.get("java.io.tmpdir");
521 String optCacheLoc = options.get("cachezipindexdir");
553 options.isSet("writezipindexfiles")));
564 options.isSet("writezipindexfiles")));
849 String arg = options.get(defaultOptionName);