Question: jdeveloper how to change jdk?
Answer: Find the product. conf file. It should be located at $HOME /. jdeveloper/12.1. 3.0. ... 
Open product.conf in an editor. Find the line that reads like the following: SetJavaHome /path/jdk. Uncomment this line. Replace /path/jdk with the path to your JDK directory.