java.beans Modified XMLDecoder