126 |
* |
* |
127 |
* @return an enumeration of the keys |
* @return an enumeration of the keys |
128 |
*/ |
*/ |
129 |
public Enumeration getKeys() |
public Enumeration<String> getKeys() |
130 |
{ |
{ |
131 |
if (parent == null) |
if (parent == null) |
132 |
return properties.propertyNames(); |
// FIXME: bogus cast. |
133 |
|
return (Enumeration<String>) properties.propertyNames(); |
134 |
// 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 |
135 |
// for that. This prevents modifications from ruining the enumeration, |
// for that. This prevents modifications from ruining the enumeration, |
136 |
// as well as ignoring duplicates. |
// as well as ignoring duplicates. |
137 |
Set s = new HashSet(); |
Set<String> s = new HashSet<String>(); |
138 |
Enumeration e = properties.propertyNames(); |
// FIXME: bogus cast. |
139 |
|
Enumeration<String> e = (Enumeration<String>) properties.propertyNames(); |
140 |
while (e.hasMoreElements()) |
while (e.hasMoreElements()) |
141 |
s.add(e.nextElement()); |
s.add(e.nextElement()); |
142 |
ResourceBundle bundle = parent; |
ResourceBundle bundle = parent; |