change_jquery.js_path
face-no-download.patch
cmake-dont-install-inexistent-files.patch
workaround-javadoc-failure.patch
