For years, Java has claimed type safety, but left variables out of the inheritance party. A new JDK Enhancement Proposal from Alex Buckley and Mark Reinhold aims to fix this problem in the language ...