Revisiting this issue, I have had much more success by explicitly closing the workset when I am done with it, regardless of whether I leave PL/SQL Developer open or closed afterwards. However, I still have problems if PL/SQL Developer unexpectedly shuts down. I have started manually backing up...