test/tools/javac/generics/Casting.java

Print this page 

        
@@ -25,11 +25,11 @@
  * @test
  * @bug 4468840
  * @summary generics problem with casting
  * @author gafter
  *
- * @compile -source 1.5 Casting.java
+ * @compile  Casting.java
  */
 
 package test.tools.javac.generics.Casting;
 
 class Test {}