test/tools/javac/generics/Casting.java

Print this page 

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