#Mon Apr 30 15:20:01 CEST 2012 eclipse.preferences.version=1 encoding//testmodels/SimpleEvent.sct=UTF-8 encoding//testmodels/ValuedEvents.sct=UTF-8
