public DeviceDataHistory[] command_history(String cmdname, int nb) throws DevFailed {
        return deviceProxyDAO.command_history(this, cmdname, nb);
    }
public DeviceDataHistory [ ] command_history ( String cmdname , int nb ) throws DevFailed { return deviceProxyDAO . command_history ( this , cmdname , nb ) ; }
==========================================================================