--- old/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Resolve.java	2015-02-23 20:10:46.000000000 +0100
+++ new/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Resolve.java	2015-02-23 20:10:46.000000000 +0100
@@ -547,7 +547,7 @@
             mt = types.subst(pmt.qtype, pmt.tvars, typeargtypes);
         } else if (mt.hasTag(FORALL)) {
             ForAll pmt = (ForAll) mt;
-            List<Type> tvars1 = types.newInstances(pmt.tvars);
+            List<Type> tvars1 = types.stripAnnotations(types.newInstances(pmt.tvars));
             tvars = tvars.appendList(tvars1);
             mt = types.subst(pmt.qtype, pmt.tvars, tvars1);
         }