Fixing Eclipse settings