[jbosstools-commits] JBoss Tools SVN: r3727 - in trunk/seam/plugins/org.jboss.tools.seam.ui/src/org/jboss/tools/seam/ui: preferences and 1 other directories.