delete eclipse-related setting