Pick better SDKMan versions

[timtebeek]

What's your motivation?

Right now we pick an incorrect distribution for Zulu upgrades to Java 17.
There's are the versions that are available:

17.0.13.crac-zulu
17.0.14-zulu
17.0.14.crac-zulu
17.0.14.fx-zulu
17.0.15-zulu
17.0.15.crac-zulu
17.0.15.fx-zulu

We ought to pick 17.0.15-zulu as the highest version number, with a matching (non fx/crac) distribution.

In practice, we pick 17.0.13.crac-zulu as the first match here:

rewrite-migrate-java/src/main/java/org/openrewrite/java/migrate/UpdateSdkMan.java

Lines 96 to 98 in 962b76c

	for (String candidate : readSdkmanJavaCandidates()) {
	if (candidate.startsWith(ver) && candidate.endsWith(dist)) {
	return plainText.withText(matcher.replaceFirst("java=" + candidate));

[timtebeek]

Thanks a lot for the help here! Nice how you've figured out LatestRelease.

We might separately find that new JDK releases will break the tests in the future, but we can figure that out by then; possibly by adding a static src/test/resources/ variant of of sdkman versions.