code: public void ping() {
  
  	Util.out4.println("DeviceImpl.ping() arrived");
  
  	//
  	// Record operation request in black box
  	//
  
  	blackbox.insert_op(Op_Ping);
  
  	//
  	// Return to caller
  	//
  
  	Util.out4.println("Leaving DeviceImpl.ping()");
      }
docs: Ping the device to check if it is still alive.
  
  Invoked when the client request the ping CORBA operation. It updates the
  device black box and simply returns