Try: http://blog.jrock.us/articles/Java%27s%20type%20system%20can...
Breaking an unstated contract in an overriden method has absolutely nothing to do with tye safety.
Try: http://blog.jrock.us/articles/Java%27s%20type%20system%20can...