false));} catch (IOException e1) {}
GeneralDialog dia = new GeneralDialog(null, null, "Creation of " + repName + " exercise - output", GeneralDialog.OK_BUTT, output);
dia.setVisible(true);
} else if (e.getSource().equals(this.buttonAutoScript)) {
RepresentableAsGraph rg = this.getApplicableGraphType();
if (rg != null) {
String script = rg.autoGenerateScript();
if (script != null && !script.equals("")) {
setScriptAndManageUndo(script);
} else if (script == null) {
GeneralDialog dia = new GeneralDialog(
this, "No auto-script for '" + this.getApplicableGraphType().getClass().getSimpleName() + "' implemented.",