test/tools/javac/generics/odersky/Test2.java

@@ -25,11 +25,11 @@
  * @test
  * @ bug
  * @summary Positive regression test from odersky
  * @author odersky
  *
- * @compile -source 1.5 Test2.java
+ * @compile  Test2.java
  */
 
 class Test2 {
     interface Ord {}