If we cannot install our SecurityManager, warn the user and ask if she wants to continue with the synthesis.