chore: update dependency com.puppycrawl.tools:checkstyle to v13

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
com.puppycrawl.tools:checkstyle (source)	12.1.2 → 13.0.0

---

Release Notes

checkstyle/checkstyle (com.puppycrawl.tools:checkstyle)

v13.0.0

Checkstyle 13.0.0 - https://checkstyle.org/releasenotes.html#Release_13.0.0

Breaking backward compatibility:

#​17430 - Use jdk21 as minimial required

Bug fixes:

#​18409 - Remove duplicate violations in WhitespaceAfter and WhitespaceAround in sun_checks.xml

Other Changes:

jdk21: activate MissingNullCaseInSwitch for checkstyle project
Resolve Pitest Suppressions - imports
Conversion to Enhance Switch for AnnotationUseStyle Check Causing Jacoco Coverage Issue
Convert eligible classes to records
pitest: increase mutation coverage for indentation profile to 100%
Resolve Pitest Suppressions - filters
Fix xdocs Examples AST Consistency Test (Reduce suppressions list)
EmptyLineSeparator ignores configured tokens: reports violations for unlisted tokens and skips listed ones
Enforce file size on Java inputs
Store SARIF schema locally to avoid external network dependency
Update `JavadocCommentsTokenTypes.java` to new format of AST print

v12.3.1

Checkstyle 12.3.1 - https://checkstyle.org/releasenotes.html#Release_12.3.1

Bug fixes:

#​17265 - Duplicate violations in WhitespaceAfter and WhitespaceAround in google config
#​17778 - Add support to properly follow Rule 7.1.1 General Form in Google Style Guide Implementation
#​18381 - NullPointerException in TextBlockGoogleStyleFormatting with text blocks in annotations
#​17727 - Need default config in google_checks.xml to forbid lowercase Javadoc beginnings

Other Changes:

Add missing property examples to XDocs for Checkstyle Checks
Resolve Pitest Suppressions - filters
Resolve Pitest Suppressions - api
Refine newly added reuse of metadata and xdoc to simplify Javadocs
Resolve Pitest Suppressions - tree-walker
Resolve Pitest Suppressions
NoClassDefFound Exception during compilation on jdk25
Resolve Pitest Suppressions - xpath
MissingOverride: update doc example to show method without inheritDoc
Update `JavadocCommentsTokenTypes.java` to new format of AST print
implement IDE agnostic configuration with `editorconfig.org`
Examples Validation: content is same in all for single Check
Enforce file size on Java inputs
Add `rewrite` support for `errorprone.refasterrules`
XMLLoggerTest.java to use verifyWithInlineConfigParserAndXmlLogger
cleanup spotbugs suppression after next fb-contrib release
pitest: increase mutation coverage for indentation profile to 100%
Resolve error-prone violations
Remove CheckerFramework 'RegexChecker' annotation processor
XdocsExampleFileTest should catch fact that ExampleX.java is not referenced in respected Test class
SarifLoggerTest.java to use verifyWithInlineConfigParserAndLogger
Define violation messages for all violations
Intellij Idea setup: Add steps to change encoding of properties file to UTF-8.
Resolve Pitest Suppressions - ant
build failure in CI for project Configurate
Updating properties in Input files to mention all default properties,
Resolve Pitest Suppressions - common
Clarification needed for 5.2.5 Non-constant field names coverage in Google style
Resolve CheckerFramework violations
Convert eligible classes to records
resolve PMD warning during execution
Remove last example code block at at the bottom of examples for NoLineWrap

v12.3.0

Compare Source

Checkstyle 12.3.0 - https://checkstyle.org/releasenotes.html#Release_12.3.0

New:

#​18207 - IllegalImport: new property illegalModules to cover module imports
#​17223 - Google-style: New Check TextBlockGoogleStyleFormattingCheck

Bug fixes:

#​18283 - Google style checks should allow _ keyword for anonymous variables

Other Changes:

Update `JavadocCommentsTokenTypes.java` to new format of AST print
Clone `apache/kafka` once KAFKA-19809 is merged
Add Kakfa project into Checkstyle regression suite
use new nio jdk api instead of all api
Recfactor classes to avoid CT_CONSTRUCTOR_THROW violation
uncliear error message if basedir is Linux based but execution is on windows
test to check indentation trailing comments are vertically aligned
infra: Fixing ECJ's version to be pinned, rather than being dynamic to not break CI pipelines
Website Generation doesn't automatically reflect new changes to checks.xml and checks/`<`type`>`/index.xml
Define violation messages for all violations
checkstyle-12.2.0: fails 2 checks building from source code
Xdoc marco to put version in xdoc from 'since' javadoc tag on Check
CI: verify-no-exception-configs should actually check contribution PR to append the same Check
Resolve Pitest Suppressions - main
Resolve Pitest Suppressions - ant
doc: note UnusedImports limitation for module import declarations

v12.2.0

Compare Source

Checkstyle 12.2.0 - https://checkstyle.org/releasenotes.html#Release_12.2.0

New:

#​18088 - Include full check name alongside ID in XML violation reports
#​17919 - Java25's import-module support

Bug fixes:

#​18074 - JAR for 12.1.1 is missing org.slf4j package
#​18171 - RedundantImport does not work with module imports
#​18132 - PatternVariableAssignment gives error when assigning to field (using this.) with the same name as pattern variable
#​18104 - Drop support in checks for no-longer-compilable preview feature - Pattern matching for swtich

Other Changes:

doc: clarify behavior of NewlineAtEndOfFileCheck regarding extra blank lines
Resolve Pitest Suppressions - main
Improve wrapping in web site
resolve PMD warning during execution
XMLLoggerTest.java to use verifyWithInlineConfigParserAndXmlLogger
Update `JavadocCommentsTokenTypes.java` to new format of AST print
doc: mention ANTLR regression report
Refine newly added reuse of metadata and xdoc to simplify Javadocs
Updating properties in Input files to mention all default properties,
Define violation messages for all violations
Convert eligible classes to records
doc: explain how to use CLI generated xpath
Update SuppressionSingleFilter examples to use all properties
Website Generation doesn't automatically reflect new changes to checks.xml and checks/`<`type`>`/index.xml
Java 22 test files that were marked as compilable but are not
Special color for property links
Inprove website rendering
Add check to prohibit Windows line endings
Complitaion jobs in CircleCI do not pick up all files
Run regression testing in CI over openjdk25
Add Java 25 compilation to CircleCI
Add `async` and/or `defer` attributes to site scripts
doc: Add extra section about 'Performance Regressions'

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[github-actions]

Test Results

46 tests  ±0   46 ✅ ±0   7s ⏱️ ±0s
11 suites ±0    0 💤 ±0 
11 files   ±0    0 ❌ ±0 

Results for commit 7a707ae. ± Comparison against base commit 4485416.