jTextArea_react2.setText(cr.remReact().toString());
}
public SplitInfo getSplitInfo() {
return new SplitInfo(cr, new Expr(jTextArea_cond1.getText()),
new Action(jTextArea_react1.getText()),
new Expr(jTextArea_cond2.getText()),
new Action(jTextArea_react2.getText()));
}