docs: public static void generateJavaFiles(String requirementsFolder,
              String platformName, String src_test_dir, String tests_package,
              String casemanager_package, String loggingPropFile,
              String specificationPhase) throws Exception {
          if (specificationPhase == null || specificationPhase == "") {
              throw new BeastException(
                      "Specification phase property not found. Check it in Beast properties configuration file. It should be SYSTEM or MAS.");
          } else if (specificationPhase.equalsIgnoreCase(MAS)) {
              if (platformName == null || platformName == "") {
                  throw new BeastException(
                          "MASPlatform property not found. Check it in Beast properties configuration file. It should be, for example: JADEX or JADE");
              }
          }
          if (specificationPhase.equalsIgnoreCase(MAS)) {
              MASReader.generateJavaFiles(requirementsFolder, platformName,
                      src_test_dir, tests_package, casemanager_package,
                      loggingPropFile);
          } else if (specificationPhase.equalsIgnoreCase(SYSTEM)) {
              SystemReader.generateJavaFiles(requirementsFolder, platformName,
                      src_test_dir, tests_package, casemanager_package,
                      loggingPropFile);
          } else {
              logger.severe("Cannot recognize specification phase (System or MAS) property.");
              throw new BeastException(
                      "Specification phase property unknown. Check it in properties configuration file. It should be SYSTEM or MAS.");
          }
      }