https://machims.blogspot.com/2023/07/sql-developer-unable-to-launch-java.html