Operation not permitted.

Back to package page "preferences: EiffelPreferences".