#Fri Jan 20 11:02:12 CET 2012 eclipse.preferences.version=1 encoding/StatechartError01.sct=UTF-8