The figure shows the JDeveloper's Preferences dialog. In the list on the left, Environment is selected. The Environment settings are on the right.