How to generate a maven project from archetype
Instead of manually creating the directory structure needed for an archetype, simply use:
mvn archetype:generate -DarchetypeGroupId=info.kwarc.sally4 -DarchetypeArtifactId=sally4-module-archetype -DarchetypeVersion=1.0.0