2829303132333435363738394041
file=""; line= -1; if ( o instanceof DBSourceObject) { DBSourceObject so=((DBSourceObject)o); DBSourceFile f=so.getSourceFile(); if ( f!=null) { file=f.toString(); line=so.getLineNumber(); } } type=o.getClass().getName(); description=o.toString();