bugfix: When the translation failed due to a RodinDatabaseException, no

  message dialog was shown

de.prob.core/src/de/prob/core/translator/TranslationFailedException.java

@@ -23,7 +23,7 @@ public class TranslationFailedException extends ProBException {
 
 	public TranslationFailedException(final String component,
 			final String details, Throwable e) {
-		super("Translation of " + component + " failed\n" + details, e, true);
+		super("Translation of " + component + " failed\n" + details, e, false);
 		notifyUserOnce();
 	}
 }