Deleting eclipse preferences