public DbDatum[] get_device_property(Database database, String name, DbDatum[] properties)
            throws DevFailed {
        String type = "Device";    //	Device object type
        return get_obj_property(database, name, type, properties);
    }
public DbDatum [ ] get_device_property ( Database database , String name , DbDatum [ ] properties ) throws DevFailed { String type = "Device" ; return get_obj_property ( database , name , type , properties ) ; }
==========================================================================