166 } |
166 } |
167 |
167 |
168 JavacFileManager createFileManager(boolean useOptimizedZip, boolean useSymbolFile) { |
168 JavacFileManager createFileManager(boolean useOptimizedZip, boolean useSymbolFile) { |
169 Context ctx = new Context(); |
169 Context ctx = new Context(); |
170 Options options = Options.instance(ctx); |
170 Options options = Options.instance(ctx); |
171 if (useOptimizedZip) { |
171 options.put("useOptimizedZip", Boolean.toString(useOptimizedZip)); |
172 options.put("useOptimizedZip", "true"); |
|
173 } |
|
174 if (!useSymbolFile) { |
172 if (!useSymbolFile) { |
175 options.put("ignore.symbol.file", "true"); |
173 options.put("ignore.symbol.file", "true"); |
176 } |
174 } |
177 return new JavacFileManager(ctx, false, null); |
175 return new JavacFileManager(ctx, false, null); |
178 } |
176 } |