test/tools/javac/miranda/T4711325.java

*** 25,35 ****
   * @test
   * @bug 4711325 4862139 5009712
   * @summary compiler allows unimplementable interfaces
   * @author gafter
   *
!  * @compile -source 1.5 T4711325.java
   * @compile/fail -source 1.4 T4711325.java
   */
  
  interface A {
      B f();
--- 25,35 ----
   * @test
   * @bug 4711325 4862139 5009712
   * @summary compiler allows unimplementable interfaces
   * @author gafter
   *
!  * @compile                  T4711325.java
   * @compile/fail -source 1.4 T4711325.java
   */
  
  interface A {
      B f();