@@ -26,11 +26,11 @@ * @bug 4080434 * @summary Casts to an array type used to cause a NullPointerException during * compilation. This was fixed in 1.2beta2. * @author turnidge * - * @compile -source 1.4 ArrayCast.java + * @compile ArrayCast.java */ public class ArrayCast { String[] array = (String[])new Object[0];