Allow the UserInterface to use exceptions.
Use SourceManager::translateFile() to check if file is loaded (thanks Axel)
Remove debug output