eclipse.preferences.version=1 encoding//resources/benchmark.py=UTF-8 encoding/<project>=UTF-8 encoding/nestor.py=UTF-8