Is your feature request related to a problem? Please describe.
https://github.com/orgs/jbangdev/discussions/2415
Describe the solution you'd like
https://github.com/jbangdev/jbang-devkitman/blob/main/src/main/java/dev/jbang/devkitman/jdkproviders/JavaHomeJdkProvider.java updated to check for bin/java.
Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.
Tell the student to delete the empty directory.
Additional context
Add any other context or screenshots about the feature request here.
Beginner developer starting to learn Java by starting with JabRef.
Is your feature request related to a problem? Please describe.
https://github.com/orgs/jbangdev/discussions/2415
Describe the solution you'd like
https://github.com/jbangdev/jbang-devkitman/blob/main/src/main/java/dev/jbang/devkitman/jdkproviders/JavaHomeJdkProvider.java updated to check for
bin/java.Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.
Tell the student to delete the empty directory.
Additional context
Add any other context or screenshots about the feature request here.
Beginner developer starting to learn Java by starting with JabRef.