diff -r 60caf53b98e2 -r 01af1b5c631d src/share/classes/com/sun/tools/javac/model/JavacElements.java
--- a/src/share/classes/com/sun/tools/javac/model/JavacElements.java	Fri Feb 08 17:35:16 2013 -0800
+++ b/src/share/classes/com/sun/tools/javac/model/JavacElements.java	Mon Feb 11 13:37:41 2013 -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.