chore: amend JDT-reported errors

[cromoteca]

JDT (Eclipse engine also found in VS Code Java support) reports some errors that are not marked as such by the JDK.

While they compile successfully, it happened to me sometimes that they block IDEA test execution, needing a rebuild to pass.

Given the annoyances, I propose some code changes that solve those issues without changes in functionality.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 86.92%. Comparing base (08d0630) to head (ad66270).
Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #3348      +/-   ##
==========================================
+ Coverage   86.89%   86.92%   +0.02%     
==========================================
  Files         115      115              
  Lines        8289     8289              
  Branches     1271     1271              
==========================================
+ Hits         7203     7205       +2     
+ Misses       1072     1070       -2     
  Partials       14       14              

Flag	Coverage Δ
unittests	86.89% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud