///////////////////////////////////////////////////////////
public static final int UNREGISTERED_VALUE_AS_OBJREF = OMGVMCID.value + 1 ;
public OBJECT_NOT_EXIST unregisteredValueAsObjref( CompletionStatus cs, Throwable t ) {
OBJECT_NOT_EXIST exc = new OBJECT_NOT_EXIST( UNREGISTERED_VALUE_AS_OBJREF, cs ) ;
if (t != null)
exc.initCause( t ) ;
if (logger.isLoggable( Level.WARNING )) {
Object[] parameters = null ;
doLog( Level.WARNING, "OMG.unregisteredValueAsObjref",
parameters, OMGSystemException.class, exc ) ;