Merge branch 'master' into localBranchKG
Local branch commit before merging master
Check workbench
Merge branch 'master' into localBranchKG

Conflicts:
	.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi
Commit before making main branch merge
Merge branch 'master' into localBranchKG
temp
Updating preview tool to recent spec change
Workbench
Merge branch 'localBranchKG'

Conflicts:
	.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi