chore: update JavaSMT to v5.0.1-723.

Karlheinz Friedbergerrequested to merge
chore/java-smt-update-5.0.1-7xx into main

This update of JavaSMT contains some more exceptions in signatures (e.g., SolverException). We forward those exceptions in CPAchecker to the most-likely best-matching place for handling them.

This merge request replaces !234 (closed) and contains an updated version of JavaSMT 5.0.1-7xx.

Merge request reports