Catch another Exception

de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java

@@ -170,13 +170,12 @@ public class ModelTranslator extends AbstractComponentTranslator {
 		addUnitPragmas(machine.getSCVariables());
 	}
 
-	private void collectProofInfo() throws RodinDBException {
-
+	private void collectProofInfo() {
+		List<String> bugs = new LinkedList<String>();
+		try {
 			IPSRoot proofStatus = machine.getPSRoot();
 			IPSStatus[] statuses = proofStatus.getStatuses();
 
-		List<String> bugs = new LinkedList<String>();
-
 			for (IPSStatus status : statuses) {
 				final int confidence = status.getConfidence();
 				boolean broken = status.isBroken();
@@ -220,6 +219,9 @@ public class ModelTranslator extends AbstractComponentTranslator {
 				}
 				addProof(new ProofObligation(origin, s, name, pstatus));
 			}
+		} catch (Exception e) {
+			bugs.add(e.getLocalizedMessage());
+		}
 
 		if (!bugs.isEmpty()) {
 			String message = "Translation incomplete due to a Bug in Rodin. This does not affect correctness of the Animation/Model Checking but can decrease its performance. Skipped discharged information about: "