return cname + "!" + mname + " (" + linePrefix + line + ")";
return cname + "!" + mname + " (" + location + ")";
	public String toString() {		final VmMethod method = sfMethod;		final VmType vmClass = (method == null) ? null : method.getDeclaringClass();		final String cname = (vmClass == null) ? "<unknown class>" : vmClass.getName();		final String mname = (method == null) ? "<unknown method>" : method.getName();		final String lineNr = getLineNr();		final String linePrefix;		final String line;		if (isInterpreted()) {			linePrefix = "";		} else {			linePrefix = "*";		}		/*if (lineNr < 0) {			line = "?";		} else {			line = String.valueOf(lineNr);		}*/		line = lineNr;		return cname + "!" + mname + " (" + linePrefix + line + ")";	}