equal
deleted
inserted
replaced
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. |