[jbosstools-commits] JBoss Tools SVN: r14552 - trunk/jst/plugins/org.jboss.tools.jst.web.ui/src/org/jboss/tools/jst/web/ui/internal/preferences.