Hi Jim, The phrase:
"All Character#isWhitespace(int) white space characters, including tab, are treated as a single space."
Can be mis-interpreted to mean collectively they are replaced by a single space.
Perhaps replace "All" with "Each". Regards, Roger On 7/6/2018 1:16 PM, Jim Laskey wrote:
csr: https://bugs.openjdk.java.net/browse/JDK-8200435