JDK name mismatch of jenv versions and JAVA_HOME -v

[lisp19]

jenv version: 0.5.5
OS: MacOS 12.4
Maven version: 3.8.5
Description:
I tried to use jenv to manage all my local jdk versions, including Azul Open JDK and Oracle JDK. For Java 11 and 17, everything works fine except those already mentioned in issues before. However, for Oracle JDK 1.8.0_202 and Azul JDK 1.8.0.322, jenv can change the java version but won't work on maven. With maven plugin enabled, I use jenv to change jdk to 1.8.0.322, zsh command can do it, but maven just can not recognize it. Shown below in the figure.

I found that the problem is caused by the mismatch of JDK name in JAVA_HOME and jenv. In jenv, it is described as "1.8.0.322" but in JAVA_HOME -v, it is "1.8.0_322".


I tried the method below to fix it. I replace the wrong name given by jenv manually in ~/.mavenrc, and it works fine.


I think it is a problem so I report here. Hope it can be fixed soon, thank you! Sorry if it is an existing question.