code: public Any execute(DeviceImpl device,Any in_any) throws DevFailed
  	{
  
  		Util.out4.println("RestartServer.execute(): arrived ");
  
  		((DServer)(device)).restart_server();
  
  		return Util.return_empty_any("RestartServer");
  	}
docs: --------------------------------------------------------------------------