add JBDS 7.1.1.GA to the list of releases, and rename (fix) JBDS IS from 7.0.0.Final to 7.0.0.GA