clean up a bunch of 8-bit chars in comments, some of which were breaking javadoc