docs: public static void startMockJadexAgent(String agent_name,
              String agent_path, MockConfiguration configuration,
              BeastTestCase story) {
  
          story.startAgent(agent_name, agent_path);
          story.sendMessageToAgent(agent_name, SFipa.INFORM, configuration);
          story.setExecutionTime(2000); // To get time to execute the DF rename goal
      }