Review completely the javalib

Remove the todo comment. An ISO-8859-1 decoder is just fine.