Guarantee to avoid committing Eclipse settings again