docs: public synchronized void serializeParameters(ArrayList<String> p) {
      for(Node t : parameters) {
        if(t.param != null) {
          if(t.param instanceof RemainingOptions) {
            for(String str : t.value.split(" ")) {
              if(str.length() > 0) {
                p.add(str);
              }
            }
          }
          else if(t.param instanceof Flag) {
            if(Flag.SET.equals(t.value)) {
              p.add(SerializedParameterization.OPTION_PREFIX + t.param.getOptionID().getName());
            }
          }
          else if(t.value != null && t.value.length() > 0) {
            if(!t.value.startsWith(STRING_USE_DEFAULT) && !STRING_OPTIONAL.equals(t.value)) {
              p.add(SerializedParameterization.OPTION_PREFIX + t.param.getOptionID().getName());
              p.add(t.value);
            }
          }
        }
      }
    }