code: public void rename_server(String srcServerName, String newServerName) throws DevFailed {
  		databaseDAO.rename_server(this, srcServerName, newServerName);
  	}
docs: ==========================================================================