See https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-project/10.0.24/jetty-project-10.0.24-version.txt (from 10.0.21).