Update to work with current ECLiPSe version.