ignoring eclipse settings, shouldn't be dependent on eclipse