test/tools/javac/generics/GenericOverride.java

Print this page 

        
@@ -25,11 +25,11 @@
  * @test
  * @bug 5041233
  * @summary Cannot override non-trivial generic method
  * @author gafter
  *
- * @compile -source 1.5 GenericOverride.java
+ * @compile  GenericOverride.java
  */
 
 package generic.override;
 
 interface R<T extends R<T>> {}