Review completely the javalib

The JavaDoc only says that that the output should be flushed in some circumstances. Not that it must not be flushed in other circumstances.

Experiments also show that it does flush in non-documented circumstances. For example when `print`ing something that does not contain a `\n`.