I sent a note to the jdom-interest list about JDOM and XML 1.0 (5th)
production rules for element names, and noticed it didn't make it to the
archives. Then I noticed nothing's new in the archives since January.
A few quick web searches turned up no tea-leaf reading, and I didn't see
any discussion here either.
So, anybody have ideas what's going on, and if it's nothing good, for
the prospects of getting JDOM updated?