0001-fix-manpages-name.patch
0002-encode-utf8-java-chars.patch
0003-use-gnuinstalldir.patch
0004-use-offline-javadoc-links.patch
0005-use-java-system-dependencies.patch
0006-use-getst-system-test.patch
move-quotes-patch.patch
