Upgrade Eclipse to 4.3.1.