[JML] mock MarshalByRefObject types through a transparent proxy

Sure.