code: public String[] get_class_property_list(String classname, String wildcard) throws DevFailed {
  		return databaseDAO.get_class_property_list(this, classname, wildcard);
  	}
docs: ==========================================================================