[188755] JavaEE5 Facets for JBoss 42/5 plugins

plugins/org.eclipse.jst.server.generic.jboss/servers/jboss42.serverdef

diff --git a/plugins/org.eclipse.jst.server.generic.jboss/servers/jboss42.serverdef b/plugins/org.eclipse.jst.server.generic.jboss/servers/jboss42.serverdef
index 0151f25..f094274 100644
--- a/plugins/org.eclipse.jst.server.generic.jboss/servers/jboss42.serverdef
+++ b/plugins/org.eclipse.jst.server.generic.jboss/servers/jboss42.serverdef
@@ -118,7 +118,7 @@
 	       <include name="server/default/lib/*.jar" />
 
 	       <!-- JSF Libraries -->
-	       <include name="server/default/deploy/jboss-web.deployer/jsf-libs/*.jar />
+	       <include name="server/default/deploy/jboss-web.deployer/jsf-libs/*.jar" />
 	       
 	       <!-- This will be ignored if EJB3 is not there 4.0.x 4.2 -->
 	       <include name="server/default/deploy/jboss-aop-jdk50.deployer/*.jar" />