Fix bug where webhelpBasename wasn't respected in wars when webhelp.war=1