+1 Although I am puzzled why I did not hit this before. -phil. On 7/20/17, 4:34 PM, Chris Bensen wrote: > Phil, > > Please review this fix to remove the bad characters. > > JIRA: https://bugs.openjdk.java.net/browse/JDK-8185017 > Webrev: http://cr.openjdk.java.net/~cbensen/JDK-8185017/webrev.00/ > > Chris