#13 Change the open-jump version in the pom, so that no external repository is used
Merge branch 'bug/13_external_repo' into dev