Fixing bug fix for enabling uppaal

Letitia Lirequested to merge
tmpfixes into master

UPPAAL is now enabled from the application diagram but not from mapping.

Merge request reports