Author: scabanovich
Date: 2011-07-27 13:28:01 -0400 (Wed, 27 Jul 2011)
New Revision: 33260
Modified:
trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/filesystems/impl/Libs.java
Log:
JBIDE-9412
https://issues.jboss.org/browse/JBIDE-9412
Modified:
trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/filesystems/impl/Libs.java
===================================================================
---
trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/filesystems/impl/Libs.java 2011-07-27
17:27:40 UTC (rev 33259)
+++
trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/filesystems/impl/Libs.java 2011-07-27
17:28:01 UTC (rev 33260)
@@ -270,12 +270,12 @@
private Map<String, String> pathToName = new HashMap<String, String>();
private Map<String, String> nameToPath = new HashMap<String, String>();
- public void put(String path, String name) {
+ public synchronized void put(String path, String name) {
pathToName.put(path, name);
nameToPath.put(name, path);
}
- public void removePath(String path) {
+ public synchronized void removePath(String path) {
String name = pathToName.remove(path);
if(name != null) {
nameToPath.remove(name);
@@ -294,7 +294,7 @@
return nameToPath.containsKey(name);
}
- public Set<String> getPaths() {
+ public synchronized Set<String> getPaths() {
return new HashSet<String>(pathToName.keySet());
}
}