if ( rem == null ) {
return null;
}
ObjectReference obj = (ObjectReference) rem;
ClassType frameType = (ClassType) obj.type();
Field field = frameType.fieldByName( "sourceFile" );
rem = obj.getValue( field );
if ( rem == null ) {
return null;
}
StringReference res = (StringReference) rem;