An example showing that declaring the JSF servlet in a web-fragment.xml breaks on TomEE 1.7