http://mail.openjdk.java.net/pipermail/build-dev/2014-February/011974.html
Change looks good to me. /Erik
For some reason, Magnus' mail is not showing up in my reader, but I read
it at:
