protected void takeDown() {
    	if(log.isLoggable(Logger.INFO))
    		log.log(Logger.INFO, "takeDown() WumpusAgent");
		
		try {
	    	if(log.isLoggable(Logger.INFO))
	    		log.log(Logger.INFO, "DEregister game '" + WumpusConsts.GAME_SERVICE_TYPE + "'");
			DFService.deregister(this, dfd);
		} catch (FIPAException e) {
	    	if(log.isLoggable(Logger.WARNING))
	    		log.log(Logger.WARNING, "ERROR: " + e.getMessage());
			e.printStackTrace();
		}
	}