jdk/src/share/classes/sun/misc/URLClassPath.java
changeset 3073 5e93bd389012
parent 1940 e81514210873
child 3436 c7d276696c5b
--- a/jdk/src/share/classes/sun/misc/URLClassPath.java	Mon Jun 29 13:10:33 2009 +0100
+++ b/jdk/src/share/classes/sun/misc/URLClassPath.java	Mon Jun 29 15:05:15 2009 +0100
@@ -135,7 +135,9 @@
      * If the URL specified is null or is already in the list of
      * URLs, then invoking this method has no effect.
      */
-    public void addURL(URL url) {
+    public synchronized void addURL(URL url) {
+        if (closed)
+            return;
         synchronized (urls) {
             if (url == null || path.contains(url))
                 return;