Renamed JBoss 7.1.1 entry to jboss711.