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