jetty bugfix (allowDuplicateFragmentNames)