public Operator getOperator() {
return operator;
}
public void setOperator(Operator operator) {
this.operator = operator;
<BUG>}
public String getConstraintPath() {
return constraintPath;
}
public void setConstraintPath(String constraintPath) {
this.constraintPath = constraintPath;</BUG>
}

public Operator getOperator() {
return operator;
}
public void setOperator(Operator operator) {
this.operator = operator;
}
