code: public void add_server(String servname, DbDevInfo[] devinfo) throws DevFailed {
  		databaseDAO.add_server(this, servname, devinfo);
  	}
docs: ==========================================================================