Unicode Character Substitution for XML

When strings are serialized to XML, all illegal characters must be properly substituted or encoded. Characters that are forbidden in XML (such as the lower ascii control chars) will be encoded as unicode sequences by the writer in "Java-style": 0x01 becomes: "\u0001". The reader decodes the unicode sequences again.

This will be implemented as an XMLStreamWriter and XMLStreamReader.