Hello, Could you please review the fix for the following bug: https://bugs.openjdk.java.net/browse/JDK-8025070 webrev corresponding: http://cr.openjdk.java.net/~alexsch/alexander-stepanov/webrev.00/
The patch contains only simple markup fixes; no changes/fixes in documentation text; the specification itself wasn't changed.
Thanks, Alexander
