[jbosstools-commits] JBoss Tools SVN: r2657 - trunk/seam/plugins/org.jboss.tools.seam.ui/src/org/jboss/tools/seam/ui/preferences.