Eclipse keeps doing funny things to settings...