Leftovers

[triceo]

The commits will not be squashed, they are too unrelated.

[Copilot]

Pull request overview

This PR contains miscellaneous "leftover" changes that address various technical debt items and API modernizations. The changes are intentionally unrelated and will not be squashed, as noted in the PR description.

Changes:

• Standardized locale format from underscore (cs_cz) to hyphen (cs-CZ) notation using Locale.forLanguageTag() and toLanguageTag()
• Removed the ProblemId_ generic type parameter from SolverManager, SolverJob, SolverJobBuilder and related classes, simplifying the API to use Object for problem IDs
• Updated Jackson API calls from deprecated methods (serializationInclusion(), getCurrentName(), fields()) to modern equivalents (defaultPropertyInclusion(), currentName(), properties())
• Updated JUnit 5 API to add ParameterDeclarations parameter to ArgumentsProvider.provideArguments()
• Modernized Gizmo API calls from objEquals() to exprEquals()
• Modernized thread factory implementation using Java's Thread.ofPlatform() builder pattern
• Added strict validation for constraint names and groups (alphanumeric, spaces, underscores, hyphens, apostrophes, dots only)
• Migrated from @NonNull to @NullMarked with @Nullable for null safety annotations
• Added no-args constructor to MutableReference class
• Simplified compiler warnings configuration to -Xlint:none

Reviewed changes

Copilot reviewed 80 out of 80 changed files in this pull request and generated 4 comments.

Show a summary per file

File	Description
locale XML/Java files	Changed locale format from underscore to hyphen notation (cs_cz → cs-CZ)
SolverManager and related	Removed ProblemId_ generic parameter, simplified to Object
Jackson integration	Updated deprecated Jackson APIs to modern equivalents
TerminationTest.java	Added ParameterDeclarations parameter for JUnit 5 compatibility
Thread factory	Modernized using Thread.ofPlatform() builder
AbstractConstraintBuilder	Added constraint name/group validation with tests
Build configuration	Simplified compiler args to suppress all warnings
Gizmo classes	Updated from objEquals to exprEquals
Null annotations	Migrated to @NullMarked pattern throughout

[zepfred]

There are questions about the best solution for consumer and Jackson object initialization. I will approve it after they are answered.

[Copilot]

Pull request overview

Copilot reviewed 84 out of 84 changed files in this pull request and generated no new comments.

[Copilot]

Pull request overview

Copilot reviewed 84 out of 84 changed files in this pull request and generated no new comments.

[zepfred]

LGTM!

[sonarqubecloud]

Quality Gate passed

Issues
3 New issues
0 Accepted issues

Measures
0 Security Hotspots
85.4% Coverage on New Code
0.1% Duplication on New Code

See analysis details on SonarQube Cloud