Update Controller.java
Update ResultTable.java
Update Sample.fxml
Checkbox included
Include Checkboxes, + delete old graph trace files
Merge pull request #34 from DependableSystemsLab/GUI_TraceGraph_checkbox

Gui trace graph checkbox