Smaller JDK7