Fixed bottom/top shenanigans
Merge branch 'master' of https://github.com/mwm314/DMTReasoner/

Conflicts:
	DTMreasoner/src/DMTReasoner.java