@Override
  public @NotNull OptPane getOptionsPane() {
    return pane(
      checkbox("ADD_MATH_MAX", JavaBundle.message("label.add.math.max.0.count.to.avoid.possible.semantics.change")));
  }
@Override
  public @NotNull OptPane getOptionsPane()