@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
@@ -1,3 +1,4 @@
eclipse.preferences.version=1
encoding//testmodels/SimpleEvent.sct=UTF-8
encoding//testmodels/ValuedEvents.sct=UTF-8