Should we link to http://tools.jboss.org/features/server.html ?