Bump jetty-servlet from 9.3.25.v20180904 to 9.4.31.v20200723#282

dependabot-preview[bot] wants to merge 1 commit intodevelopCSUC/ECHOES-Tools:developfrom

dependabot/maven/develop/org.eclipse.jetty-jetty-servlet-9.4.31.v20200723CSUC/ECHOES-Tools:dependabot/maven/develop/org.eclipse.jetty-jetty-servlet-9.4.31.v20200723Copy head branch name to clipboard