You must use mvn spotless:apply to format the code you commit.

@jlerbsc thank you for pointing that out! Your suggestion made me realize that I need to have another look at CONTRIBUTING.md. There I saw the recommendation to run ./run_core_metamodel_generator.sh && ./run_core_generators.sh, which I did. And it turned out, my original fix was in the wrong place: I was trying to fix the code which is autogenerated. After realizing that, I found out why it is generated incorrectly and fixed the root cause: the @AllFieldsConstructor for SwitchEntry wasn't actually initializing all the fields.

@johannescoetzee Do you agree with these changes?

Codecov Report

Attention: Patch coverage is 75.00000% with 1 line in your changes missing coverage. Please review.

Project coverage is 58.099%. Comparing base (b05f7bd) to head (e055205).
Report is 11 commits behind head on master.

@@              Coverage Diff              @@
##            master     #4608       +/-   ##
=============================================
+ Coverage   58.009%   58.099%   +0.090%     
=============================================
  Files          508       508               
  Lines        29778     29780        +2     
  Branches      5253      5253               
=============================================
+ Hits         17274     17302       +28     
+ Misses       10366     10340       -26     
  Partials      2138      2138               

This looks good to me! Adding the guard parameter to the @AllFieldsConstructor and rerunning the code generators as @DaniilSuchkov did is the correct fix

Edit: The fact that the style check passed for the current iteration also means there are no manual changes in the PR that will be overwritten by the code generators

Thank you for this contribution.

Thank you for reviewing it so quickly!