docs: public void setup() {
  		this.myIntrospector = JadeAgentIntrospector.getMyInstance((Agent) this);
  		LogActivator.logToFile(logger, this.getName(), Level.ALL);
  		// Register the service
  		try {
  			DFAgentDescription dfd = new DFAgentDescription();
  			ServiceDescription sd = new ServiceDescription();
  	        
  	        sd.setType("server");
  	        sd.setName("report-service");
  	        // Sets the agent description
  	        dfd.setName(this.getAID());
  	        dfd.addServices(sd);
  	        
  	        // Register the agent
  	        DFService.register(this, dfd);
  			
  		} catch (Exception e) {
  			logger.severe("Exception registering agent in DF. Agent: " + this.getName());
  		}
  
  		MessageTemplate t = MessageTemplate.MatchPerformative(ACLMessage.INFORM);
  		addBehaviour(new ReportServer(this,t));
  	}