https://machinegk.blogspot.com/2023/04/sql-developer-unable-to-launch-java.html