Shrink to a one-liner for tomcat's major version