Fix all warnings reported by ./gradlew javadoc

[unp1]

see title

[codecov[bot]]

Codecov Report

Merging #3330 (e3880ec) into main (b3b9778) will decrease coverage by 0.01%. The diff coverage is 0.00%.

@@             Coverage Diff              @@
##               main    #3330      +/-   ##
============================================
- Coverage     37.83%   37.83%   -0.01%     
  Complexity    16882    16882              
============================================
  Files          2052     2052              
  Lines        125455   125455              
  Branches      21215    21215              
============================================
- Hits          47471    47470       -1     
  Misses        72133    72133              
- Partials       5851     5852       +1     

Files	Coverage Δ
...va/de/uka/ilkd/key/java/ContextStatementBlock.java	75.86% <ø> (ø)
...de/uka/ilkd/key/java/CreateArrayMethodBuilder.java	94.89% <ø> (ø)
...e/src/main/java/de/uka/ilkd/key/java/JavaInfo.java	64.12% <ø> (ø)
...ava/de/uka/ilkd/key/java/Recoder2KeYConverter.java	72.32% <ø> (ø)
...lkd/key/java/declaration/ParameterDeclaration.java	58.69% <ø> (ø)
...n/java/de/uka/ilkd/key/java/recoderext/Ccatch.java	29.92% <ø> (ø)
...coderext/CcatchBreakLabelParameterDeclaration.java	24.13% <ø> (ø)
...erext/CcatchContinueLabelParameterDeclaration.java	24.13% <ø> (ø)
...ecoderext/CcatchReturnValParameterDeclaration.java	25.53% <ø> (ø)
.../java/recoderext/ConstructorNormalformBuilder.java	78.94% <ø> (ø)
... and 54 more

... and 1 file with indirect coverage changes

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more

[unp1]

There is a problem with spotlessApply which will turn some occurrences of span>@</spancode to &#64; (but not all and also not all in a pre block). Solved this by switching spotless off for these comments.