Corrects Eclipse version numbers.