equal
deleted
inserted
replaced
133 * file URLs from which to load classes and resources. |
133 * file URLs from which to load classes and resources. |
134 * <p> |
134 * <p> |
135 * If the URL specified is null or is already in the list of |
135 * If the URL specified is null or is already in the list of |
136 * URLs, then invoking this method has no effect. |
136 * URLs, then invoking this method has no effect. |
137 */ |
137 */ |
138 public void addURL(URL url) { |
138 public synchronized void addURL(URL url) { |
|
139 if (closed) |
|
140 return; |
139 synchronized (urls) { |
141 synchronized (urls) { |
140 if (url == null || path.contains(url)) |
142 if (url == null || path.contains(url)) |
141 return; |
143 return; |
142 |
144 |
143 urls.add(0, url); |
145 urls.add(0, url); |