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 Reporter: Max Rydahl Andersen Assignee: Max Rydahl Andersen 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.