Automatic generation produced by ISE Eiffel
class INTEGER_PREFERENCE Ancestors TYPED_PREFERENCE* [G] Clients BASIC_PREFERENCE_FACTORY INTEGER_PREFERENCE Suppliers INTEGER_PREFERENCE READABLE_STRING_GENERAL* STRING_32 -- Generated by Eiffel Studio --
For more details: eiffel.org