[jdom-interest] Setting value of an attribute resets its type

[Victor Toni]

I have written already on the subject but got no response so I'll try it 
again.

Having noticed that setting the value of an attribute via the 
convenience methods in the Element class ("setAttribute(String name, 
String value)" and "setAttribute(String name, String value, Namespace 
ns)") will reset its type I wonder if this is on purpose.
Maybe this functionality is not widely used and it went unnoticed?

Sorry for the noise if this is not an issue

Victor