add some eclipse customizations