JBIDE-17121 - Installer links on new tools.jboss.org site say "unknown" instead of "jar"