test/tools/javac/cast/BoxedArray.java

Print this page

        

@@ -25,11 +25,11 @@
  * @test
  * @bug 5014309
  * @summary REGRESSION: compiler allows cast from Integer[] to int[]
  * @author gafter
  *
- * @compile/fail -source 1.5 BoxedArray.java
+ * @compile/fail BoxedArray.java
  */
 
 public class BoxedArray {
     int[] a2;
     void f(Integer[] a1) {