test/tools/javac/generics/odersky/Test4.java

*** 25,35 ****
   * @test
   * @ bug
   * @summary Positive regression test from odersky
   * @author odersky
   *
!  * @compile -source 1.5 Test4.java
   */
  
  class Test4 {
      interface I {}
      interface J {}
--- 25,35 ----
   * @test
   * @ bug
   * @summary Positive regression test from odersky
   * @author odersky
   *
!  * @compile  Test4.java
   */
  
  class Test4 {
      interface I {}
      interface J {}