eclipse.preferences.version=1
encoding//model/satellite.henshin=UTF-8
encoding//model/satellite.henshin_diagram=UTF-8