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