@@ -25,11 +25,11 @@ * @test * @ bug * @summary Negative regression test from odersky * @author odersky * - * @compile/fail -source 1.5 BadTest3.java + * @compile/fail BadTest3.java */ class BadTest3 { interface I {}