tools.jboss.org update with small fixes