[jdom-interest] encoding?

[elephantwalker]

I just noticed that if I have a root element like this:

<?xml version="1.0" encoding="iso-8859-1" standalone="no"?>
<someroot>
  somecontent
</someroot>

If I read this into jdom, and then use an outputter, the file becomes:

<?xml version="1.0" encoding="UTF-8"?>
<someroot>
  somecontent
</someroot>

...is this by design, on the todo list, or just a bug?

Regards,

The Elephantwalker