Eclipse: migration to Eclipse-Kepler 4.3.2