To be fair however, the verbosity of the Java code is a requirement of (at least) its strong typing which necessitates all that casting...

To be fair to strongly typed languages, we should note that this is characteristic of only some of them, and that in others (e.g. an ML) type inferencing would take care of all the casting problems.