[jbosstools-commits] JBoss Tools SVN: r9017 - trunk/seam/plugins/org.jboss.tools.seam.ui.pages/src/org/jboss/tools/seam/ui/pages/editor/edit.