#1 Defect Fix Set#1

[Kilnagar Bhaskar]

Defect Fix Set#1 resolves the following issues:

• Display exploration graphs for non-FSM target class
• Create temporary json files in viz_json folder
• User can choose folders to import and export json files

Command used to test:
java -cp korat2015.jar;.\lib*;. korat.Korat --gui
Enter following arguments in the Run screen:
--args = 3,3,3
--class = korat.examples.binarytree.BinaryTree

The Attachment shows the result.