[jbosstools-issues] [JBoss JIRA] (JBIDE-18820) define how to handle ide.properties and avoid parent pom to always change

define how to handle ide.properties and avoid parent pom to always change ------------------------------------------------------------------------- Key: JBIDE-18820 URL: https://issues.jboss.org/browse/JBIDE-18820 Project: Tools (JBoss Tools) Issue Type: Task Components: build Reporter: Max Rydahl Andersen As illustrated in JBIDE-18806 our current setup of how ide.properties and project versioning are not working or at least we seem to not get it updated right. Current workaround applied is that parent pom now again defines the global version even though this is not reliable at all since not all plugins will be rebuilt. (see JBIDE-13452 for earlier attempts on this) Opening this jira to make sure we walkthrough and write down which values should be in ide.properties and what level (4.2.0.CR1, 4.2.0 or 4.2. etc), when they get updated (hopefully rarely) and how to avoid parent pom from always having to respin because of a maintanence release.