Committing so I can pull
Merge branch 'master' of https://github.com/mwm314/DMTReasonerFix

Conflicts:
	DMTReasonerFix/src/test/TestDMTReasoner.java