update to jdk-17.0.6;
proper executables for Windows;
enforce rebuild of Isabelle/ML and Isabelle/Scala;