Repository navigation

Fix #4426: preserve JDK_HOME priority when sorting JDKs - #4427

Merged

datho7561 merged 1 commit into

redhat-developer:mainfrom

shblue21:fix-jdk-home-priority

Oct 19, 2026

Merged

Fix #4426: preserve JDK_HOME priority when sorting JDKs#4427
datho7561 merged 1 commit into
redhat-developer:mainfrom
shblue21:fix-jdk-home-priority

Commits on Jun 16, 2026
- Fix: preserve JDK_HOME priority when sorting JDKs (#4426)
  shblue21
  committed
  4bf7d1e