eclipse.preferences.version=1 encoding//fsa/buildfsa.py=utf-8 encoding//fsa/test/testConstruction.py=utf-8