javahelp.encoding string javahelp.encoding Character encoding to use in control files for JavaHelp. iso-8859-1 JavaHelp crashes on some characters when written as character references. In that case you can use this parameter to select an appropriate encoding.