Bug#873695: jetty9: RolloverFileOutputStream does not roll over

[Adrian Wiedemann]

Hi Emmanuel,

any chance this fix will be included in future stretch releases?

Thanks, Adrian