SQL डेवलपर 17.2.0.188 में अपग्रेड किया गया और यह चला गया। यह बग प्रतीत होता है:https://stackoverflow.com/a/43501389/84206