Please try the following:
public static void contributeIgnoredPathsFilter(Configuration<String>
configuration) {
configuration.add("/index\\.(?:html|htm|jsp)");
}If it works, we'll close the JIRA and put some tomcat specific documentation somewhere
