cleaning out some unused eclipse settings