jetty

Morning Everyone, I need to add Jetty to a new VPS I just set up here, since Tomcat is now gone with CentOS 7, but before I do that manually I saw several Jetty RPMs already in WHM. I'm unsure of what they are or which (if any) are the Jetty servlet container. Google just returns dated material...