1.1 --- a/test/tools/javac/diags/examples/DefaultOverridesObjectMember.java Fri Nov 16 18:27:36 2012 +0000 1.2 +++ b/test/tools/javac/diags/examples/DefaultOverridesObjectMember.java Sat Nov 17 19:01:03 2012 +0000 1.3 @@ -22,7 +22,6 @@ 1.4 */ 1.5 1.6 // key: compiler.err.default.overrides.object.member 1.7 -// options: -XDallowDefaultMethods 1.8 1.9 interface DefaultOverridesObjectMember { 1.10 default String toString() { return ""; }