test/tools/javac/ArrayCast.java

Print this page

        

@@ -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];