Automatic generation produced by ISE Eiffel
class PREFERENCE_EXPORTER General cluster: preference description: "Accessor to implementation details of the preference library." Ancestors ANY -- Generated by Eiffel Studio --
For more details: eiffel.org