docs: protected static String makeArgLine(Object mojo, Config.AgentMode junitMode, String currentArgLine)
              throws Exception {
          URL agentJarURL = Types.extractJarURL(EkstaziAgent.class);
          String agentAbsolutePath = new File(agentJarURL.toURI().getSchemeSpecificPart()).getAbsolutePath();
          String more = "-javaagent:" + agentAbsolutePath + "=mode=" + junitMode + ",";
  
          // Get argLine as prepared by Ekstazi plugin.
          String ekstaziArgLine = System.getProperty(ARGLINE_INTERNAL_PROP);
          String newArgLine = currentArgLine == null || currentArgLine.equals("") ? ekstaziArgLine : ekstaziArgLine + " "
                  + currentArgLine;
          return more + newArgLine;
      }