Merge branch 'Upstream/master'
Merge branch 'Upstream/master'
Merge branch 'Upstream/master'
EA_TEST Modified tests to use new function IsUnsuitability (reverted from commit 5afffd3ad3a9e0e22efc847c7bcc664314d28876)
Revert "EA_TEST Set implentation flag to True"

This reverts commit 0389cead840a443cfd82a084f4df177c7885a393.
EA_TEST Set implentation flag to True (reverted from commit 0389cead840a443cfd82a084f4df177c7885a393)
EA_TEST First step in fixing this commit
EA_TEST Step 2 in the fix
EA_TEST Final fix for the white belt test repo -- This commit should make it all ok
EA_TEST Final fix 2, sorry about the last one
EA_TEST Replaced REDUCE expectations to hardcoded distance
EA_TEST Fixed errors and debugged test (there were 3 unsuitabilities instead of 2 because of country identifiers)
EA_TEST Renamed test cases to remove confusion in requirement linking
Change for #380 according to comments
Merge pull request #394 from JamesOakey/WhiteBelt

White belt
Merge branch 'Upstream/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/ModeTransitions.efs_ns