Привет всем, есть ли способ удаления сервлета или контекста сервлета из встроенного сервера Jetty версии 9, например, удалить сервлет?Я указываю версию, потому что у SO есть ответ для версии 7 , но у меня есть те же сомнения относительно используемой техники, как упомянуто в комментариях к этой теме