error with servlet-context patched