[jbosstools-issues] [JBoss JIRA] (JBIDE-23475) split ide-config.properties into multiple files