TextEditorTest restores default source code of tested java file after each test. Fixes #853
Waits until workbench shell is active when deleting server module. Fixes #854
Fixed various delete shell in explorers (fixes #798)