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

*** 25,35 ****
   * @test
   * @ bug
   * @summary Negative regression test from odersky
   * @author odersky
   *
!  * @compile/fail -source 1.5 BadTest.java
   */
  
  class BadTest {
      static class Main {
  
--- 25,35 ----
   * @test
   * @ bug
   * @summary Negative regression test from odersky
   * @author odersky
   *
!  * @compile/fail  BadTest.java
   */
  
  class BadTest {
      static class Main {