some fixes
Merge remote-tracking branch 'origin/master'

Conflicts:
	ExpertShell/src/datatypes/InferenceEngine.java
	ExpertShell/src/gui/MainScreen.java