[jbosstools-dev] Wrong version numbers/dates in JBIDE