update to jdk-21.0.1;
enforce rebuild of Isabelle/Scala + Isabelle/ML;