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