Added JavaDoc
Merge branch 'master' of github.com:drsimonmiles/provoking

Conflicts:
	src/uk/ac/kcl/inf/provoking/model/util/EquivalenceChecker.java