As far as I know you don’t need to manually modify web-fragment.xml to add this setting. You can add the complete filter definition manually to your web.xml. This should overwrite the filter configuration from web-fragment.xml. So you won’t need to change the PrettyFaces JAR file to add this directly to web-fragment.xml.
Do you play Magic?
Get TopDecked MTG, the #1 Magic App, built by players, for players. Free to use, forever.