The java.util.Array.copyOf(...) method is

The java.util.Array.copyOf(...) method is giving me an unexpected ClassCastException. The attached program illustrates the problem.

As you can see, the program copies the argument array to a fresh array using Array.copyTo, or the hard way, depending on the first argument. The problem is reproduced by running the program within JNode using the arguments "1 2 3".