}
public static final int BAD_SET_SERVANT_MANAGER = OMGVMCID.value + 6 ;
public BAD_INV_ORDER badSetServantManager( CompletionStatus cs, Throwable t ) {
BAD_INV_ORDER exc = new BAD_INV_ORDER( BAD_SET_SERVANT_MANAGER, cs ) ;
if (t != null)
exc.initCause( t ) ;
if (logger.isLoggable( Level.WARNING )) {
Object[] parameters = null ;
doLog( Level.WARNING, "OMG.badSetServantManager",
parameters, OMGSystemException.class, exc ) ;