catch(javax.rmi.BAD_OPERATION bad_operation)
catch (Exception ex)
  public String toString(Stub self)  {    try      {	return self._orb().object_to_string(self);      }    // XXX javax.rmi.BAD_OPERATION -> org.omg.CORBA.BAD_OPERATION    catch(javax.rmi.BAD_OPERATION bad_operation)      {	return null;      }  }