code: private static final boolean isExtender(char c) {
          int n = c;
          return n == 0x00B7 || n == 0x02D0 || n == 0x02D1 || n == 0x0387 || n == 0x0640 || n == 0x0E46 || n == 0x0EC6 || n == 0x3005 || n >= 0x3031 && n <= 0x3035 || n >= 0x309D && n <= 0x309E || n >= 0x30FC && n <= 0x30FE;
      }
docs: Determines if the specified character matches the <em>Extender</em> production.
  See: <a href="http://www.w3.org/TR/REC-xml#NT-Extender">Definition of Extender</a>.
  
  @param c the character to check.
  @return <code>true</code> if the character matches the production, or <code>false</code> if
  it does not.