[isabelle-dev] Update to OpenJDK 17.0.6

[Makarius]

With Isabelle/39f8051f71d4 we are on OpenJDK 17.0.6, see also 
https://docs.azul.com/core/zulu-openjdk/release-notes/january-2023

There are a lot of small changes: the second half of January is the usual 
season for that.

So far it looks good, and I do not expect any problems. OpenJDK LTS versions 
appear to be rock-solid and the release cycle very robust. (In contrast to Scala.)


	Makarius