Little bug fixed.. ("Nimbus": UIManager.getInstalledLookAndFeels()).
Merge branch 'master' of github.com:Dewos/wolfed.git
export DOT and PNML  completed.
Merge saiddao/wolfed.
Refactor export PNML done.