[jbosstools-issues] [JBoss JIRA] (JBIDE-18848) setup tests for ide-config.properties

setup tests for ide-config.properties ------------------------------------- Key: JBIDE-18848 URL: https://issues.jboss.org/browse/JBIDE-18848 Project: Tools (JBoss Tools) Issue Type: Feature Request Components: build, common Reporter: Max Rydahl Andersen Assignee: Nick Boldt Fix For: 4.4.3.AM1 JBIDE-18837 and other jiras showed that ide-config.properties risk having errors introduced into it. we should have a test that runs every day to check if it is still consistent.