public abstract String lookupSourceFile(@NonNull String className);
public final String lookupSourceFile(@NonNull String className) { if (className == null) throw new IllegalArgumentException("className is null"); try { JavaClass jc = this.lookupClass(className); String name = jc.getSourceFileName(); if (name == null) { System.out.println("No sourcefile for " + className); return SourceLineAnnotation.UNKNOWN_SOURCE_FILE; } return name; } catch (ClassNotFoundException cnfe) { return SourceLineAnnotation.UNKNOWN_SOURCE_FILE; } }
	public abstract String lookupSourceFile(@NonNull String className);