code: public static final void checkName(String s) throws NullPointerException, InvalidXMLException {
          checkName(s.toCharArray(), 0, s.length());
      }
docs: Checks if the specified string matches the <em>Name</em> production. See: <a
  href="http://www.w3.org/TR/REC-xml#NT-Name">Definition of Name</a>.
  
  @param s the character string to check, cannot be <code>null</code>.
  @throws NullPointerException if <code>s == null</code>.
  @throws InvalidXMLException  if the specified character string does not match the
  <em>Name</em> production.