Update ECLiPSe version in comments.