--- old/src/share/classes/com/sun/tools/javac/code/Source.java	2010-07-15 23:37:54.000000000 -0700
+++ new/src/share/classes/com/sun/tools/javac/code/Source.java	2010-07-15 23:37:54.000000000 -0700
@@ -159,6 +159,9 @@
     public boolean enforceMandatoryWarnings() {
         return compareTo(JDK1_5) >= 0;
     }
+    public boolean allowAutomaticResourceManagement() {
+        return compareTo(JDK1_7) >= 0;
+    }
     public boolean allowTypeAnnotations() {
         return compareTo(JDK1_7) >= 0;
     }