*** 67,76 **** --- 67,81 ---- // don't enter invalid names in map } } } + public Attributes(Map<String, Attribute> attributes) { + this.attrs = attributes.values().toArray(new Attribute[attributes.size()]); + map = attributes; + } + public Iterator<Attribute> iterator() { return Arrays.asList(attrs).iterator(); } public Attribute get(int index) {