local-jars.patch
latexdraw_shell_script.patch
top-pom.patch
scala-2.12-wrapper.patch
