more eclipse specific settings