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