4.0.0 SnuggleTeX JEuclid Extensions snuggletex-jeuclid jar de.rototor.snuggletex snuggletex 1.3.0 ${project.groupId} snuggletex-core ${project.version} de.rototor.jeuclid jeuclid-core ${jeuclid.version} maven-source-plugin verify jar-no-fork