An overview of the JDK Enhancement Proposal