JDK7: language enhancements