<BUG>throw new JavaCompilation(msg.getMessage(null) + " at " + msg.getLineNumber() + ", " + msg.getColumnNumber() + " with classpath [" + config.getRascalJavaClassPathProperty() + "], code: " + source, loc);}</BUG><CONTEXT>return result;} catch (ClassCastException e) {throw new JavaCompilation(e.getMessage(), loc);} catch (JavaCompilerException e) {Diagnostic<? extends JavaFileObject> msg = e.getDiagnostics().getDiagnostics().iterator().next();<extra_id_0>}private String getClassName(FunctionDeclaration declaration) {Tags tags = declaration.getTags();</CONTEXT>
throw new JavaCompilation(msg.getMessage(null) + " at " + msg.getLineNumber() + ", " + msg.getColumnNumber() + " with classpath [" + config.getRascalJavaClassPathProperty() + "]", loc);