code: public String[] get_device_name(String serverName, String className) throws DevFailed {
  		return databaseDAO.get_device_name(this, serverName, className);
  	}
docs: ==========================================================================