Once Bellsoft have published Java 23 builds, we should remove the custom distribution from the Java 23 CI setup.