Checkstyle update in preview tool
Workbench.xmi
Merge branch 'localBranchKG'

Conflicts:
	.metadata/.log
	.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi
Merge branch 'master' into localBranchKG
Merge branch 'localBranchKG'
Merge branch 'localBranchSean'
Changes to several GameGeneratorCollection classes to support update of repository XML for new specification. Adjustments to GameElement, Prop, and GenericIntereaction as a result of those changes. Some changes to repository XML files.