Corrected the Eclipse preferences by removing some user-specific entries