[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-9713) jboss tools knowledge base preference page has broken/complex english