Version 7, fixing unicity of runconfigurations