JRE 1.5 and text rendering in JavaHelp