LTLMoP/LTLMoP — pull request #70 by wongkaiweng (2014-06-06 18:09:58+00:00)
Title: fixed original region name not showing up in automaton export.

Now an automaton can be exported with original name shown:
![patrol](https://cloud.githubusercontent.com/assets/734271/3204194/ae82adda-eda5-11e3-801a-0b3c3c89ed30.png)