docs: @Override
      public void run(IMarker marker) {
          requireNonNull(marker, "marker");
          try {
              // do NOT inline this method invocation
              runInternal(marker);
          } catch (CoreException e) {
              reportException(e);
          }
      }