test/tools/javac/generics/InterfaceCast1.java

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