add JBT 4.1.2.Final to the list of releases
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