Make jdk7u-dev read-only

[Lindenmaier, Goetz]

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.