in src/main/java/org/apache/tomcat/jakartaee/ManifestConverter.java [143:154]
private String replaceVersion(String entryValue) {
if (entryValue.contains("jakarta.servlet")) {
StringBuffer builder = new StringBuffer();
Matcher matcher = Pattern.compile("jakarta.servlet([^,]*);version=\"(.*?)\"").matcher(entryValue);
while (matcher.find()) {
matcher.appendReplacement(builder, "jakarta.servlet$1;version=\"[5.0.0,7.0.0)\"");
}
matcher.appendTail(builder);
return builder.toString();
}
return entryValue;
}