Further Refactorings for Java 17+

[wadoon]

Refactoring and Code clean up.

• switch statements into switch expression where it was useful.
  (avoids fall throughs and often more compact code)

• some smaller (non-structured) clean ups

  • ensure camel cases variable names
  • fix Javadoc
  • and other code smells recognize by IntelliJ

[codecov]

Codecov Report

Merging #3264 (5e9bddf) into main (a2d4fe7) will increase coverage by 0.02%.
Report is 3 commits behind head on main.
The diff coverage is 26.87%.

@@             Coverage Diff              @@
##               main    #3264      +/-   ##
============================================
+ Coverage     37.76%   37.78%   +0.02%     
+ Complexity    16863    16850      -13     
============================================
  Files          2052     2052              
  Lines        125687   125399     -288     
  Branches      21234    21218      -16     
============================================
- Hits          47464    47387      -77     
+ Misses        72389    72178     -211     
  Partials       5834     5834              

Files Changed	Coverage Δ
...e/uka/ilkd/key/testgen/ReflectionClassCreator.java	0.00% <0.00%> (ø)
...e/uka/ilkd/key/testgen/oracle/OracleGenerator.java	0.00% <0.00%> (ø)
...ain/java/de/uka/ilkd/key/java/CompilationUnit.java	12.28% <ø> (+0.61%)	⬆️
.../src/main/java/de/uka/ilkd/key/java/JavaTools.java	80.00% <ø> (-0.96%)	⬇️
.../uka/ilkd/key/java/SchemaRecoder2KeYConverter.java	85.27% <ø> (-0.23%)	⬇️
...d/key/java/expression/ParenthesizedExpression.java	35.71% <ø> (+2.38%)	⬆️
...ka/ilkd/key/java/recoderext/ExecCtxtSVWrapper.java	55.55% <ø> (-4.45%)	⬇️
.../ilkd/key/java/recoderext/ExpressionSVWrapper.java	45.83% <ø> (-0.60%)	⬇️
...d/key/java/recoderext/SpecialReferenceWrapper.java	0.00% <ø> (ø)
...de/uka/ilkd/key/java/recoderext/adt/Intersect.java	100.00% <ø> (+10.00%)	⬆️
... and 68 more

... and 2 files with indirect coverage changes

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

[github-actions]

Thank you for your contribution.

The test artifacts are available on Artiweb.
The newest artifact is here.