Changing name from JAFFA_7 to JBOSS_7.
Authored by: kevinmiro 2012-12-06
Parent: [r6503]
Child: [r6505]