This screenshot shows the JDeveloper's Preferences dialog.