revert to eclipse 4.2