comboBox.addItem("parallel");
comboBox.addItem("sequential");
comboBox.addItem("task");
}
comboBox.setSelectedItem(graph.getModel().getExecutionType());
comboBox.addItemListener(new ItemListener() {
public void itemStateChanged(ItemEvent e) {
if (!graph.getModel().getExecutionType().equals(e.getItem())) {
graph.getModel().setExecutionType((String) e.getItem());
DefaultPropView.this.notifyListeners();
DefaultPropView.this.refreshView(state);