Switch to Eclipse 4.2