Update to Eclipse 3.8.2/4.2.2