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");
	}
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" ) ; }
--------------------------------------------------------------------------