Automatic generation produced by ISE Eiffel
class SED_VERSIONS Ancestors ANY Clients SED_INDEPENDENT_SERIALIZER SED_RECOVERABLE_DESERIALIZER SED_RECOVERABLE_SERIALIZER SED_SESSION_DESERIALIZER SED_SESSION_SERIALIZER -- Generated by Eiffel Studio --
For more details: eiffel.org