The implementation of the `java.util.Properties.loadFromXML` method has been changed to comply with its specification. Specifically, the underlying XML parser implementation now rejects non-compliant XML documents by throwing an `InvalidPropertiesFormatException` as specified by the `loadFromXML` method.

The effect of the change is as follows:

- Documents created by `Properties.storeToXML`: No change. `Properties.loadFromXML` will have no problem reading such files.

- Documents not created by `Properties.storeToXML`: Any documents containing DTDs not in the format as specified in `Properties.loadFromXML` will be rejected. This means the DTD shall be exactly as follows (as generated by the `Properties.storeToXML` method):

```
    <!DOCTYPE properties SYSTEM "http://java.sun.com/dtd/properties.dtd">
```