@@ -25,11 +25,11 @@ * @test * @bug 4916607 * @summary Test casts (legal, warning, and errors) * @author gafter * - * @compile/fail -source 1.5 CastFail12.java + * @compile/fail CastFail12.java */ import java.util.*; class CastTest {