eclipse.preferences.version=1
encoding//testmodels/region/RegionCantBeEnteredUsingShallowHistory.sct=UTF-8
encoding/<project>=UTF-8