Change extension from .event

    Hi List,

    I just want to ask you about some issuses regarding changing the
extesion from *.event to something else.
This apears to be hardcoded in ApplicationGateway and DefaultBaseEvent.
In case of ApplicationGateway is was easy becuase we extend this class
(altrough it maybe be better to have for this too and init-parameter
definition
in web.xml).
In case of events i can't come up with a solution becuase i am generating
the events from xml.
Can you give me some advice?

Andras.