Wenn ich anfange, sagt Eclipse "Arbeitsbereich kann nicht gesperrt werden"
"Das Produkt konnte nicht gestartet werden, da der zugehörige Arbeitsbereich derzeit von einer anderen Eclipse-Anwendung verwendet wird." oder "Arbeitsbereich wird verwendet oder kann nicht erstellt werden. Wählen Sie einen anderen aus."
Aber ich weiß, dass es nicht so ist.
Wie "entsperre" ich es?