[jboss-user] [JBoss Tools (users)] - Do the JBoss Tools for SEAM work?