001-makefiles.patch
001.1-default-java-version.patch
002-gxx-4-changes.patch
003-fix-html-broken-links-in-help.patch
004-name-browser-settings.patch
005-fix-compiler-warnings.patch
