bugfix: java.lang.ClassCastException: symjava.bytecode.JITFunc_7ac5b8091de04e278e383ab926c5f057 cannot be cast to symjava.bytecode.BytecodeFunc

Author: Yueming Liu

src/symjava/symbolic/utils/FuncClassLoader.java

@@ -2,10 +2,16 @@
 
 import com.sun.org.apache.bcel.internal.generic.ClassGen;
 
-import symjava.bytecode.BytecodeFunc;
-
 public class FuncClassLoader<T> extends ClassLoader {
 
+	public FuncClassLoader() {
+		super(Thread.currentThread().getContextClassLoader());
+	}
+//	
+//	public FuncClassLoader(ClassLoader parent) {
+//		super(parent);
+//	}
+	
 	/**
 	 * Return an instance from a ClassGen object 
 	 *
@@ -24,4 +30,4 @@ public T newInstance(ClassGen cg) {
 		}
 		return null;
 	}
-}
+}