anchor.diff:        return '&amp;';
       case ']]>':
         return ']]&gt;';
  +    default:
  +      throw AssertionError();
     }
   }
   
  
positive.code:         return '&#xD;';
        case '\t':
          return '&#x9;';
      }
    },
    XmlAttributeType.DOUBLE_QUOTE: (match) {
      switch (match.group(0)) {
  
negative.code:         return '&#xD;';
        case '\t':
          return '&#x9;';
        default:
          throw AssertionError();
      }
    },
  };
  