[jbosstools-commits] JBoss Tools SVN: r40718 - trunk/seam/plugins/org.jboss.tools.seam.core.