Code review request for 4881419 The type of X[].clone() should be X[]

[Joe Darcy]

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