--- old/src/share/classes/com/sun/tools/javac/model/JavacElements.java	2013-02-07 22:55:54.000000000 -0800
+++ new/src/share/classes/com/sun/tools/javac/model/JavacElements.java	2013-02-07 22:55:54.000000000 -0800
@@ -760,6 +760,16 @@
         return names.fromString(cs.toString());
     }
 
+    @Override
+    public boolean isFunctionalInterface(TypeElement element) {
+        if (element.getKind() != ElementKind.INTERFACE)
+            return false;
+        else {
+            TypeSymbol tsym = cast(TypeSymbol.class, element);
+            return types.isFunctionalInterface(tsym);
+        }
+    }
+
     /**
      * Returns the tree node and compilation unit corresponding to this
      * element, or null if they can't be found.