Thanks to some tooling developed by [~jjg], inconsistencies in the section names and numbers in the @jls and @jvms javadoc tags in the jdk and the names and numbers of the current specifications have been identified. These inconsistencies should be fixed.