| eclipse.preferences.version=1 | |
| encoding//transformations/ICParC.henshin_diagram=UTF-8 | |
| encoding//transformations/ICParI.henshin_diagram=UTF-8 | |
| encoding//transformations/NASOC.henshin_diagram=UTF-8 | |
| encoding//transformations/NNIACP.henshin=UTF-8 | |
| encoding//transformations/NNIACP.henshin_diagram=UTF-8 |