Change SQLDeveloper JDK on macOS

List the available JDKs:

$ /usr/libexec/java_home -V
Matching Java Virtual Machines (3):
14.0.1, x86_64: "OpenJDK 14.0.1" /Library/Java/JavaVirtualMachines/openjdk.jdk/Contents/Home
11.0.7, x86_64: "AdoptOpenJDK 11" /Library/Java/JavaVirtualMachines/adoptopenjdk-11.jdk/Contents/Home
9, x86_64: "AdoptOpenJDK 9" /Library/Java/JavaVirtualMachines/adoptopenjdk-9.jdk/Contents/Home

Choose a version and copy its path, for example:

/Library/Java/JavaVirtualMachines/adoptopenjdk-11.jdk/Contents/Home

Edit the SQLDeveloper configuration:

$ vi $HOME/.sqldeveloper/<sql developer version>/product.conf

For example:

$ vi $HOME/.sqldeveloper/19.2.1/product.conf

Set the SetJavaHome property with the previously copied path:

Finally, start (or restart) SQLDeveloper.