Drop support for Java 11 and modernize - #934

Merged

jupblb merged 11 commits into

mainfrom

michal/java25-3

Jun 26, 2026

Commits on Jun 26, 2026

Drop support for Java 11
jupblb
committed
f24517a
Remove stale Java 11 fragments in scip-javac
jupblb
committed
38c2348
Use pattern matching for instanceof
jupblb
committed
280086b
Use switch expressions
jupblb
committed
4e9131a
Use a record for TargetPaths
jupblb
committed
3be5079
Use a record for ScipAggregatorOptions
jupblb
committed
707da64
Use a record for ScipSymbols.Descriptor
jupblb
committed
a467cc2
Use a record for SymbolDescriptor
jupblb
committed
87ec211
Set Bazel Java language version and runtime to 17/21
jupblb
committed
f91efa7
Read docker JAVA_OPTS from a build-generated flags file
jupblb
committed
7ef4fe0
Target Java 17 for snapshots
jupblb
committed
68171e2