Review completely the javalib

Actually I'll remove the explicit flush. Flushing will be part of the same "problem" that the `print` methods eventually call the `write(Array)` method, which flushes.