[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-1702) Restore Defaults button doesn't work for Preferences > JBoss tools > Web > Verification