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