Bug fix: Do not delete PEPA file after translation (especially if it is not a temporary file!)

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11683 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/PEPA2Prism.java

@@ -70,16 +70,8 @@ public class PEPA2Prism extends PrismLanguageTranslator
 		try {
 			prismModelString = pepa.compiler.Main.compile("" + modelFile);
 		} catch (pepa.compiler.InternalError e) {
-			if (modelFile != null) {
-				modelFile.delete();
-				modelFile = null;
-			}
 			throw new PrismException("Could not import PEPA model:\n" + e.getMessage());
 		}
-		if (modelFile != null) {
-			modelFile.delete();
-			modelFile = null;
-		}
 		return prismModelString;
 	}