869870871872873874875876877878879
} // start... currentEditor.updateScript(); try { script.start(true); } catch (ScriptException e1) { e1.printStackTrace(); } } }