Maybe jens could help or explain this to me, it would help a lot.
I know this error, you can ignore it.
Everything is saved, even if it should not occur.
I still try to investigate, what cause it.
It happens during unload of the plugins, but it does not happen always, it does not always happen at the same place, and it does not happen with all builds.
I inserted some debug-output and since then it does not happen at all.