fixed exportDot problem by calling the new strategy now

Now the automaton can be exported to a PDF. However, in the PDF, the original region name is not shown but rather the decomposed region name. Is it designed to be the case or this is a bug?
![screenshot from 2014-04-15 11 21 54](https://cloud.githubusercontent.com/assets/734271/2709786/003eda0a-c4ba-11e3-94cb-3285e2949d8b.png)