Hi The repository jdk7u-dev seems to be unused. It did not receive a change since 2015/1/21. http://hg.openjdk.java.net/jdk7u/jdk7u-dev/ Should it be made read only? Best regards, Goetz.