This screen shot shows the Migrate User Settings dialog, which prompts whether you want to migrate settings from a previous version of JDeveloper.