minor fix
minor modifications
Merge branch 'master' of https://github.com/rfekete/MEME

Conflicts:
	PlatformPlugins/MasonPlugin-16/.classpath
	mason-recording.jar
	resources/typechecker4.jar
	resources/typechecker5.jar
	src/ai/aitia/meme/paramsweep/gui/Page_LoadModel.java