I am not sure if this is a Spring Tool Suite issue, or an upstream WST issue, but I post it here for now.
I use Ubuntu Budgie 20.04 with default settings and STS 4.8.0.
I use the out-of-the-box launcher for STS and I did not change the JDK used to launch STS, so it runs with the one in the tarball.
I create a new Tomcat 8.5 server in the Servers view (assigned an already existing Tomcat 8.5 Runtime entry to it).
I get no error messages.
When I try to click on any of the enabled checkboxes in the "Server Options" checkbox group, nothing happens in the screen, I do not get a tick in the checkbox, but I do not get an error dialog either.
Apparently setting the checkbox gets recorded in the server configuration file when I save the server config, I can see the corresponding attributes set to true in the .server XML file.
When closing server config and then reopening it, the checkbox is still not ticked in.
So probably this is a UI issue, but I am not sure which project the issue belongs to.
I don't see any new error messages appearing in the workspace .log file either at clicking the checkbox or at saving the server config.