javahelp.encoding string
javahelp.encoding Character encoding to use in control files for JavaHelp.
iso-8859-1

## Description

JavaHelp crashes on some characters when written as character references. In that case you can use this parameter to select an appropriate encoding.