Review completely the javalib

Indeed, the JavaDoc does not say it. I assumed it was the same as for `PrintWriter`. Experimenting shows that it does.