Refactored SreElement to SreUtil.
Merge branch 'master' into cactus

Conflicts:
	src/main/java/io/github/egonw/CMLEnricher.java