@Override
    public void criterionChanged() {
      jtree.updateUI();
    }
This class provides the basic operations of the expression, which are remove, insert and append
criterion.
java/ui/src/main/java/com/google/security/zynamics/bindiff/gui/dialogs/criteriadialog/expressiontree/ExpressionTreeActionProvider.java