RE: [JAVAHELP] JavaHelp customization problems