docs: private String getOptionName(String argument)
      {
          if (argument == null)
              return null;
          else if (argument.startsWith("--"))
              return argument.substring(2);
          else if (argument.startsWith("-"))
              return argument.substring(1);
          else
              return null;
      }