System.out.println("Compilation success for file "+packageName+"."+javaFile);
int lastPos = javaFile.length()-5; // for ".java"
String classNameToLoad = javaFile.substring(javaFile.lastIndexOf(File.separatorChar)+1, lastPos);
try { // try to load the class
Class loadedClass = extClassLoader.loadClass(classNameToLoad);
Method m = null;
try {
m = loadedClass.getMethod("main", scalaExec.scalaLab.scalaLab.formals);
}
catch (NoSuchMethodException exc) {