JBIDE-17319 use tools.jboss.org, not jboss.org/tools in Central Discovery overview URLs >> master