#Tue Nov 15 11:03:24 CET 2011
eclipse.preferences.version=1
encoding//TestModels/InterfaceTest.sct=UTF-8
encoding//TestModels/Test_DeepHistory.sct=UTF-8
encoding//TestModels/Test_Expression.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