docs: @Override
      protected String getInstanceIdName(int id)
      {
          switch (id - super.getMaxInstanceId()) {
            case Id_ignoreComments:               return "ignoreComments";
            case Id_ignoreProcessingInstructions: return "ignoreProcessingInstructions";
            case Id_ignoreWhitespace:             return "ignoreWhitespace";
            case Id_prettyIndent:                 return "prettyIndent";
            case Id_prettyPrinting:               return "prettyPrinting";
          }
          return super.getInstanceIdName(id);
      }