tag 866845 + pending thanks Some bugs in the javatools package are closed in revision baff5c885e1b7ce2033568f6da173ac25e72f741 in branch 'master' by Emmanuel Bourg
The full diff can be seen at https://anonscm.debian.org/cgit/pkg-java/javatools.git/commit/?id=baff5c8 Commit message: jh_build: Use ISO8859-1 as the default encoding to avoid unmappable character errors (Closes: #866845)
