90 |
* @see PropertyResourceBundle |
* @see PropertyResourceBundle |
91 |
* @status updated to 1.4 |
* @status updated to 1.4 |
92 |
*/ |
*/ |
93 |
public class Properties extends Hashtable |
public class Properties extends Hashtable<Object, Object> |
94 |
{ |
{ |
95 |
// WARNING: Properties is a CORE class in the bootstrap cycle. See the |
// WARNING: Properties is a CORE class in the bootstrap cycle. See the |
96 |
// comments in vm/reference/java/lang/Runtime for implications of this fact. |
// comments in vm/reference/java/lang/Runtime for implications of this fact. |
332 |
* value that are not strings |
* value that are not strings |
333 |
* @deprecated use {@link #store(OutputStream, String)} instead |
* @deprecated use {@link #store(OutputStream, String)} instead |
334 |
*/ |
*/ |
335 |
|
@Deprecated |
336 |
public void save(OutputStream out, String header) |
public void save(OutputStream out, String header) |
337 |
{ |
{ |
338 |
try |
try |
449 |
* |
* |
450 |
* @return an Enumeration of all defined keys |
* @return an Enumeration of all defined keys |
451 |
*/ |
*/ |
452 |
public Enumeration propertyNames() |
public Enumeration<?> propertyNames() |
453 |
{ |
{ |
454 |
// We make a new Set that holds all the keys, then return an enumeration |
// We make a new Set that holds all the keys, then return an enumeration |
455 |
// for that. This prevents modifications from ruining the enumeration, |
// for that. This prevents modifications from ruining the enumeration, |