specEditor error emptied .spec file

[spmaniato]

The following error resulted in:

• specEditor getting "stuck". (I couldn't save, compile, etc. Had to ctrl-c.)
• the "# Specification" part of the .spec file being erased/emptied

Traceback (most recent call last):
  File "specEditor.py", line 1029, in onMenuCompile
    self.proj.writeSpecFile()
  File "/Users/smaniato/Cornell/My Research/LTLMoP/src/lib/project.py", line 186, in writeSpecFile
    fileMethods.writeToFile(filename, data, comments)
  File "/Users/smaniato/Cornell/My Research/LTLMoP/src/lib/fileMethods.py", line 156, in writeToFile
    values = [str(values)]
UnicodeEncodeError: 'ascii' codec can't encode character u'\xdf' in position 628: ordinal not in range(128)