test/tools/javac/generics/InterfaceCast1.java

@@ -25,11 +25,11 @@
  * @test
  * @bug 4453032
  * @summary overridden interface method causes the compiler to reject cast
  * @author gafter
  *
- * @compile -source 1.5 InterfaceCast1.java
+ * @compile  InterfaceCast1.java
  */
 
 public class InterfaceCast1 {
     public static void main(String[] args) throws Exception {
     }