We should have to parse it anyway, as the `filter.getRequestLine`, which is the only getter that is useful in this case, contains the verb and the protocol version (something like "GET http://localhost/foo HTTP/1.1").