Migrate org.doctales.terminology to org.jung.terminology#159

jelovirt merged 2 commits intodita-ot:masterdita-ot/registry:masterfrom

stefan-jung:org.jung.terminologystefan-jung/registry:org.jung.terminologyCopy head branch name to clipboard