Just browsing the documents and found the "Download" link broken in this paragraph:
http://docs.jboss.org/tools/3.1.0.GA/en/GettingStartedGuide/html_single/index.html#start_dev_db
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community