@Override
  public @NotNull OptPane getOptionsPane() {
    return pane(
      checkbox("ignoreLeftShiftWithNegativeResult", JavaAnalysisBundle.message("ignore.operation.which.results.in.negative.value")));
  }
@Override
  public @NotNull OptPane getOptionsPane()