eclipse.preferences.version=1
encoding//src/webui/flaskr/zcm.py=utf8