eclipse.preferences.version=1 encoding//src/rules_py/read_bngxml.py=utf-8 encoding//src/rules_py/small_structures.py=utf-8
