[1] https://www.jboss.org/products/devstudio.html

[1] has a big central focus download box for JBDS 7.1.0 but then the right-hand column has 'New in Version 7.0!' and in the main body there is a video title 'What's New in Red Hat JBoss Developer Studio 7.0' and the link for docs states 7.0. The information should all be about the latest JBDS release, namely 7.1.