fix Execution panel building
Merge branch 'master' of git.openmole.org:openmole
Merge branch 'master' of git.openmole.org:openmole