Generated by
JDiff

Class java.util.Properties

Documentation changed from old to new.

Changed Methods
Enumeration propertyNames() Documentation changed from old to new.
Returns an enumeration of all the keys in this property list including distinct keys in the default property list if a key of the same name has not already been found from the main properties list.
Object setProperty(String, String) Documentation changed from old to new.
Calls the Hashtable method put.
void store(OutputStream, String) Documentation changed from old to new.
Writes this property list (key and element pairs) in this Properties table to the output stream in a format suitable for loading into a Properties table using the load method.