The recent upgrade to Eclipse 2021-09 showed that we never actually test the formatter with different Java versions.
