()
| 457 | } |
| 458 | |
| 459 | @Override |
| 460 | public NameEnumerator getOwnPropertyNames() { |
| 461 | ArrayList<String> names = new ArrayList<String>(); |
| 462 | for (String name : this.properties.keySet()) { |
| 463 | names.add(name); |
| 464 | } |
| 465 | return new NameEnumerator(names); |
| 466 | } |
| 467 | |
| 468 | @Override |
| 469 | public NameEnumerator getOwnEnumerablePropertyNames() { |