Я установил Eclipse Java EE IDE (Kepler) для веб-разработчиков в Ubuntu 18.04. У меня также работает Apache Tomcat 8.5, и я добавляю его в Eclipse. Однако, когда я захожу в «Предпочтения»> «Сервер»> «Среды выполнения», я вижу только Tomcat 7 для выбора, как мне добавить версии Tomcat выше этого?