See
1690123
The same problem still applies to build 1.1.2.25.79, only this time, for added fun, the suggested workaround of editing
<sqldeveloper_home>\sqldeveloper\system\oracle.ide.1.1.2.25.79\settings.xml
doesn't work either. I'm well and truly stuck now.
Message was edited by:
user545045