docs: private void generatePreferences(final String args[], Properties input) throws SetupException {
          File frameworkPreferences = new File(Constants.getFrameworkPreferences(parameters.getBaseDir()));
  
          try {
              Preferences.generate(args, frameworkPreferences.getAbsolutePath(), input);
          } catch (Exception e) {
              throw new SetupException("failed generating setup preferences: " + e.getMessage(), e);
          }
          // check the preferences.properties file
          if (!frameworkPreferences.exists()) {
              throw new SetupException("Unable to generate preferences file: " + frameworkPreferences);
          }
          if (!frameworkPreferences.isFile()) {
              throw new SetupException(frameworkPreferences + " preferences file is not a regular file");
          }
      }