Hello. Please review my spec clarification fix for
4881419 "The type of X[].clone() should be X[]" http://cr.openjdk.java.net/~darcy/4881419/The statement about the return type of the clone method for an array is given in JLSv3 section 6.4.5:
http://java.sun.com/docs/books/jls/third_edition/html/names.html#6.4.5 Thanks, -Joe
