diff -r 843d3b191773 -r 01c9d4161882 test/tools/javac/diags/examples/RedundantSupertype.java
--- a/test/tools/javac/diags/examples/RedundantSupertype.java	Fri Nov 16 18:27:36 2012 +0000
+++ b/test/tools/javac/diags/examples/RedundantSupertype.java	Sat Nov 17 19:01:03 2012 +0000
@@ -23,7 +23,6 @@
 
 // key: compiler.err.illegal.default.super.call
 // key: compiler.misc.redundant.supertype
-// options: -XDallowDefaultMethods
 
 class RedundantSupertype {
     interface I { default void m() {  } }