eclipse settings (yes I shouldn't commit this but whatever)