public DbDatum[] get_class_property(Database database, String name, String[] propnames)
            throws DevFailed {
        String type = "Class";    //	class object type
        return get_obj_property(database, name, type, propnames);
    }
public DbDatum [ ] get_class_property ( Database database , String name , String [ ] propnames ) throws DevFailed { String type = "Class" ; return get_obj_property ( database , name , type , propnames ) ; }
==========================================================================