Comment 4 for bug 742985

Hey Didier, no problem! But I've solved this using a different approach: I thought the value of 10 was there by a reason (but apparently it was not), so I've done a validation on Launcher.cpp, to check if the shortcut value is greater than 32 (and not just different from zero).

I'll propose the merge with my branch anyway since this can solve future problems with this (I'll set you as reviewer).