Clone of http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/ (last updated 2014-05-20)