When running JBang, Java is downloaded twice
Is it about different distributions - or is really the same version downloaded twice?
(Could not make good screenshot because of bad scrolling on Windows 10 sandbox)
I follow the steps at https://blog.jabref.org/2025/05/31/run-pr/
