infinispan-gridfs-webdav example DefaultCacheManager configuration problem

in infinispan-gridfs-webdav example
https://github.com/infinispan/infinispan/blob/4.2.0.CR2/demos/gridfs-webdav/src/main/java/org/infinispan/demos/gridfs/CacheManagerHolder.java
configures DefaultCacheManager based on infinispan.config init param but
https://github.com/infinispan/infinispan/blob/4.2.0.CR2/demos/gridfs-webdav/src/main/webapp/WEB-INF/web.xml
contains
<init-param>
<param-name>infinispan.configuration</param-name>
<param-value>infinispan.xml</param-value>
</init-param>
which also points to non existent infinispan.xml (should be replaced by default.xml)