Tim Bray continues to try and fight his way through the Java breakage (he updated the linked post again) - he might be better off reading this

All static typed languages are broken.
Joshua Bloch, Software Engineer at Google Research recently wrote about the non-correctness of ALL mergesort implementations. His statement stands on the tottery shoulders of static typed languages. Joshua, get a decent programming language and don't tell non-sense!

Bonus quote linked from that page, from one of the authors of the Refactoring Browser:

Static types give me the same feeling of safety as the announcement that my seat cushion can be used as a floatation device. (Don Roberts)

Based on the comment stream from my last post on this, expect more desperate reaching for chewing gum and bailing wire...