##STS4 can't find the solution for Tomcat server
Go to Help >> Install New Software
and the following window appears
Copy it in at work with
2018-09 - http://download.eclipse.org/releases/2018-09
If the network environment is not good, you may try a few more times.
After success, a bunch of things will appear in the name and version boxes below.
We find the Web, XML, Java EE and OSGi Enterprise Development tabs
as shown in the figure
Then find the JST Server Adapters Extensions under this option and
select it, then next and finish to download.
Note that this direct download may not be supported by some networks.
If the download reports an error:
An error occurred while collecting items to be installed. . . .
Remove the √ at the bottom of Contact all update sites during install to find required software
as the picture shows
Download it again! No problem! 2018.10.25 Pro-test is valid.