Eclipse settings

Merge latest evolutions from Mind4SE