10HotSpot numbers from http://openjdk.java.net/groups/hotspot/.