update to jdk-21.0.3;
enforce rebuild of Isabelle/ML and Isabelle/Scala;