Review completely the javalib

I cannot see where JavaDoc says that `format` flushes on a PrintStream. (If it shouldn't, there is the same problem than with `print`).