class SED_VERSIONS Ancestors ANY Clients SED_RECOVERABLE_DESERIALIZER SED_RECOVERABLE_SERIALIZER SED_SESSION_DESERIALIZER SED_SESSION_SERIALIZER
Generated by ISE EiffelStudio