Withdrawn: Added missing flushes

Fri Jan 15 23:09:18 UTC 2021

On Fri, 15 Jan 2021 12:04:49 GMT, Jiří Vaněk <jvanek at openjdk.org> wrote:

> If the asmtools are used as library, and not just a cmdline tool, then it become visible, that stdouts are not properly closed.
> This pr is adding flusehs jdis and jdec. Maybe the issue is more spread, but I was not using other parts library (yet)

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.java.net/asmtools/pull/16