DefaultLocalExtensionRepository#removeExtension doesn't remove the extension from the memory

It removes the extension only from the file system storage so the extension is still listed in the Extension Manager UI until the server is restarted.