def __init__(self, element, doc):
Modification.__init__(self, element, doc)
JournaledObject.__init__(self)
self.__journal__ = list()
self.__undomap__ = dict()
def __init__(self, element, doc):
Requirement.__init__(self, element, doc)
JournaledObject.__init__(self)
self.__journal__=list()
self.__undomap__=dict()
def __init__(self, element, doc):
Modificationset.__init__(self, element, doc)
JournaledObject.__init__(self)
self.__journal__=list()
self.__undomap__=dict()
