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