--- old/src/jdk.compiler/share/classes/com/sun/tools/classfile/Attributes.java	2015-05-19 15:41:00.094886762 +0200
+++ new/src/jdk.compiler/share/classes/com/sun/tools/classfile/Attributes.java	2015-05-19 15:41:00.042886765 +0200
@@ -69,6 +69,11 @@
         }
     }
 
+    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();
     }