Now that [JavaSMT will require Java 17](https://github.com/sosy-lab/java-smt/pull/611), there is nothing that stops this project from requiring Java 17 as well and making use of [such nice features](https://gitlab.com/sosy-lab/software/cpachecker/-/merge_requests/100).