* Mark Reinhold: > [1] http://hg.openjdk.java.net/jdk7/jdk7 Is this the MASTER repository mentioned in the documentation? This is not 100% clear from the description.