-
Enhancement
-
Resolution: Fixed
-
P3
-
1.4.1
-
beta
-
generic
-
generic
The dtd in the spec for java.util.prefs.Preferences is missing a comment delimiter:
<!-- The preferences element contains an optional version attribute,
which specifies version of DTD.
Should have --> at the end of the last line.
<!-- The preferences element contains an optional version attribute,
which specifies version of DTD.
Should have --> at the end of the last line.