Does the "Effective Java" book have anything to say about specializing the return type of clone? I guess it is convenient -- assuming it works.