@@ -25,11 +25,11 @@ * @test * @bug 5040403 * @summary compiler crash with stack overflow on unchecked cast * @author gafter * - * @compile -source 1.5 Casting3.java + * @compile Casting3.java */ package test.tools.javac.generics.Casting3; class A<T extends A<T>> {