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