[JML] mock MarshalByRefObject types through a transparent proxy