Fix JCR workspaces cleanup at shutdown