Fixed constraintcheck bug.
Merge branch 'master' of https://github.com/Ramqvist/shrdlite-template

Conflicts:
	javaprolog/Shrdlite.java