diff -r 843d3b191773 -r 01c9d4161882 test/tools/javac/diags/examples/DefaultOverridesObjectMember.java
--- a/test/tools/javac/diags/examples/DefaultOverridesObjectMember.java	Fri Nov 16 18:27:36 2012 +0000
+++ b/test/tools/javac/diags/examples/DefaultOverridesObjectMember.java	Sat Nov 17 19:01:03 2012 +0000
@@ -22,7 +22,6 @@
  */
 
 // key: compiler.err.default.overrides.object.member
-// options: -XDallowDefaultMethods
 
 interface DefaultOverridesObjectMember {
     default String toString() { return ""; }