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