[jdom-interest] Verifier.checkXMLName not accepting colons?

[Gabor Greif]

My reference "XML Specification Guide" by Graham and Quinn
defines "name characters" in the glossary as containing
letters, digits, - _ : . combining characters and extenders.
"name start characters" are letters _ and :

So I have changed my copy of Verifier.java according to the below diff.
I also made it a bit more efficient.

Who can integrate this?

Regards,

	Gabor


########### diff follows ##############
Index: jdom/src/java/org/jdom/Verifier.java
===================================================================
RCS file: /home/cvspublic/jdom/src/java/org/jdom/Verifier.java,v
retrieving revision 1.8
diff -r1.8 Verifier.java
274c274
<         if (first == '$') {
---
>         else if (first == '$') {
277,278c277,278
<         // Cannot start with a _
<         if (first == '-') {
---
>         // Cannot start with a -
>         else if (first == '-') {
280a281,284
>         // Cannot start with a .
>         else if (first == '.') {
>             return "XML names cannot begin with a full stop (.)";
>         }
285a290
>                 && (c != ':')
288c293
< 		&& (c != '.')
---
>                 && (c != '.')