provide a dictionnary for jbosstools-devdoc ------------------------------------------- Key: JBIDE-24705 URL: https://issues.jboss.org/browse/JBIDE-24705 Project: Tools (JBoss Tools) Issue Type: Enhancement Reporter: Aurélien Pupier Fix For: 4.5.0.Final this repo contains mainly english written text with a lot of technical terms. If we create a dictionary with these terms, it will be easier to spot typo when writing new text and will ensure to have consistent writing for technical terms.