eclipse.preferences.version=1 encoding//testmodels/AlwaysOncycle.sct=UTF-8 encoding//testmodels/SyncJoin.sct=UTF-8