Hello all; https://bugs.openjdk.java.net/browse/JDK-8029696
Michael McMahon noticed that some links to the anchor #NonInterference were not using the correct name for the anchor. He prepared a patch which I reviewed, tested. I also checked to make sure there were no other broken instances. I've prepared a webrev of the patch for anyone else who wishes to review. http://cr.openjdk.java.net/~mduigou/JDK-8029696/0/webrev/ Mike
