#Fri Oct 14 15:07:26 CEST 2011
eclipse.preferences.version=1
encoding//TestModels/Test_DeepHistory.sct=UTF-8
encoding//TestModels/Test_Hierarchy.sct=UTF-8
encoding//TestModels/Test_LocalActions.sct=UTF-8
encoding//TestModels/Test_ParallelRegions.sct=UTF-8
encoding//TestModels/Test_ShallowHistory.sct=UTF-8
encoding//TestModels/Test_Transition.sct=UTF-8