eclipse.preferences.version=1 encoding//core/glossary.py=utf8 encoding//old/test.py=utf-8 encoding/<project>=UTF-8
