in src/main/java/org/apache/tomcat/jakartaee/EESpecProfile.java [32:35]
default String convert(String name) { Matcher m = getPattern().matcher(name); return m.replaceAll(getTarget() + "$1"); }