We need to say AS7 here. JBoss includes a lot of different products.