Kevin's fixes
Merge branch 'master' of https://github.com/Sidetalker/TMRMaker

Conflicts:
	Java TMR Generation/knowledgeBase/semanticDeriver/Deriver.java
Recommitting cause Kevin's lame.
Merge branch 'master' of https://github.com/Sidetalker/TMRMaker

Conflicts:
	Java TMR Generation/knowledgeBase/semanticDeriver/Deriver.java