fixing a class cast exception

NeuronRobotics · Aug 30, 2024 · bf2b992 · bf2b992
1 parent 0f7862a
commit bf2b992
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/main/java/eu/mihosoft/vrl/v3d/parametrics/CSGDatabase.java b/src/main/java/eu/mihosoft/vrl/v3d/parametrics/CSGDatabase.java
@@ -5,8 +5,6 @@
 import java.io.InputStream;
 import java.io.OutputStream;
 import java.lang.reflect.Type;
-import java.util.ArrayList;
-import java.util.HashMap;
 import java.util.concurrent.ConcurrentHashMap;
 import java.util.concurrent.CopyOnWriteArrayList;
 
@@ -146,7 +144,7 @@ public static void loadDatabaseFromFile(File f){
             try {
 				in = FileUtils.openInputStream(f);
 				jsonString= IOUtils.toString(in);
-		        HashMap<String,Parameter> tm=gson.fromJson(jsonString, TT_mapStringString);
+				ConcurrentHashMap<String,Parameter> tm=gson.fromJson(jsonString, TT_mapStringString);
 		        if(tm !=null)
 			        for(String k:tm.keySet()){
 			        	set(k,tm.get(k));