src/jdk.compiler/share/classes/com/sun/tools/javac/file/BaseFileManager.java
changeset 58713 ad69fd32778e
parent 58203 dfd434203aa0
equal deleted inserted replaced
58712:14e098407bb0 58713:ad69fd32778e
    42 import java.nio.charset.IllegalCharsetNameException;
    42 import java.nio.charset.IllegalCharsetNameException;
    43 import java.nio.charset.UnsupportedCharsetException;
    43 import java.nio.charset.UnsupportedCharsetException;
    44 import java.nio.file.Path;
    44 import java.nio.file.Path;
    45 import java.util.Collection;
    45 import java.util.Collection;
    46 import java.util.HashMap;
    46 import java.util.HashMap;
       
    47 import java.util.HashSet;
    47 import java.util.Iterator;
    48 import java.util.Iterator;
    48 import java.util.Map;
    49 import java.util.Map;
    49 import java.util.Objects;
    50 import java.util.Objects;
    50 import java.util.Set;
    51 import java.util.Set;
    51 
    52 
   171     }
   172     }
   172 
   173 
   173     private long lastUsedTime = System.currentTimeMillis();
   174     private long lastUsedTime = System.currentTimeMillis();
   174     protected long deferredCloseTimeout = 0;
   175     protected long deferredCloseTimeout = 0;
   175 
   176 
       
   177     public void clear() {
       
   178         new HashSet<>(options.keySet()).forEach(k -> options.remove(k));
       
   179     }
       
   180 
   176     protected ClassLoader getClassLoader(URL[] urls) {
   181     protected ClassLoader getClassLoader(URL[] urls) {
   177         ClassLoader thisClassLoader = getClass().getClassLoader();
   182         ClassLoader thisClassLoader = getClass().getClassLoader();
   178 
   183 
   179         // Allow the following to specify a closeable classloader
   184         // Allow the following to specify a closeable classloader
   180         // other than URLClassLoader.
   185         // other than URLClassLoader.