Global global = Global.getGlobalProto();
LineMap lineMap = global != null ? global.getLineMap(className) : null;
String line = file.toString();
if (lineMap != null) {
p = file.indexOf(':');
if (p > 0) {
try {
String filename = file.substring(0, p);
int lineNo = Integer.parseInt(file.substring(p + 1));
line = lineMap.convertLine(filename, lineNo);