Review completely the javalib

Yeah, well, it turns out that the JDK behaves exactly in that way. There is really only `write(b: Int)` with `b != '\n'` that does not flush. Everything else seems to flush on `autoFlush`.