@Override
  public @NotNull OptPane getOptionsPane() {
    return pane(
      checkbox("REPORT_INACCESSIBLE", JavaBundle.message("checkbox.html.report.inaccessible.symbols")));
  }
@Override
  public @NotNull OptPane getOptionsPane()