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