Hi,Please help review the change for bug JDK-8149787, which "accidentally" embeds couple non-ascii character u+00f7 in several comment lines. This will trigger javac failure if using encoding=ascii. The fix is to replace the DIV with a simple
"+" character.
issue: https://bugs.openjdk.java.net/browse/JDK-8149787 webrev: http://cr.openjdk.java.net/~sherman/8149787/webrev/ Thanks, Sherman
