Small changes in the Eclipse tooling
Small changes and improvements