Merge pull request #367 from Yakindu/Change_Preferences_to_UTF-8_oomph

Add Preferences (encoding UTF-8)  to the Oomph setup

StatechartTools.setup

@@ -2507,6 +2507,10 @@
           value="true"/>
     </setupTask>
   </setupTask>
+  <setupTask
+      xsi:type="setup:PreferenceTask"
+      key="/instance/org.eclipse.core.resources/encoding"
+      value="UTF-8"/>
   <setupTask
       xsi:type="launching:LaunchTask"
       excludedTriggers="STARTUP"