411909 - GzipFilter flushbuffer() results in erroneous finish() call

+ Bad finish() call changed to more appropriate flush() call
Merge branch 'jetty-7' into jetty-8
Merge branch 'jetty-8'