replace servlet5 with servlet4

Signed-off-by: Olivier Lamy <[email protected]>

Author: olamy

src/main/java/org/eclipse/jetty/toolchain/modifysources/ModifyEE9ToEE8.java

@@ -457,6 +457,9 @@ public Visitable visit(StringLiteralExpr n, Void arg) {
                             if(StringUtils.contains(n.getValue(), "webdefault-ee9.xml")) {
                                 n.setString(StringUtils.replace(n.getValue(), "webdefault-ee9.xml", "webdefault-ee8.xml"));
                             }
+                            if(StringUtils.contains(n.getValue(), "servlet5")) {
+                                n.setString(StringUtils.replace(n.getValue(), "servlet5", "servlet4"));
+                            }
 
                             return super.visit(n, arg);
                         }