@Override
  public @NotNull OptPane getOptionsPane() {
    return pane(
      checkbox("myReportPossiblyExactDivision", JavaAnalysisBundle.message("inspection.suspicious.integer.div.assignment.option")));
  }
@Override
  public @NotNull OptPane getOptionsPane()