9710ec9d85
* commit '060a48378f21a6b5836990a23178d02c94fccc60': Fix NPE in case where workspace is null because Launcher has been destroyed