Automatic generation produced by ISE Eiffel
class PATH_PREFERENCE Ancestors TYPED_PREFERENCE* [G] Clients BASIC_PREFERENCE_FACTORY PATH_PREFERENCE PATH_PREFERENCE_WIDGET Suppliers BOOLEAN FILE_UTILITIES IMMUTABLE_STRING_32 PATH PATH_PREFERENCE -- Generated by Eiffel Studio --
For more details: eiffel.org