Update to Eclipse 4.3.2