fixes Tycho versions plugin