To reproduce:
1. Open a browser and navigate to http://www.jboss.org/products/
2. Find Red Hat® JBoss® Developer Studio and click on "Download Now"
It prompts you to download the JDBS 7.0.0.GA JAR:
jbdevstudio-product-eap-universal-7.0.0.GA-v20130720-0044-B364.jar
This is the previous release of the product. Instead, it should download the JDBS 7.1.0,GA JAR:
jbdevstudio-product-eap-universal-7.1.0.GA-v20131208-0703-B592.jar