fixes new version number for Tycho versions plugin