Add some missing/extra log close()s - from Jens.

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

prism/src/prism/Prism.java

@@ -2169,6 +2169,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 			case Prism.EXPORT_DOT_STATES:
 				throw new PrismException("Export not yet supported");
 			}
+			tmpLog.close();
 		}
 
 		// for export to dot with states, need to do a bit more

prism/src/prism/PrismCL.java

@@ -894,6 +894,9 @@ public class PrismCL implements PrismModelListener
 		}
 		mainLog.println();
 		ParamModelChecker.closeDown();
+		// Close logs (in case they are files)
+		mainLog.close();
+		techLog.close();
 	}
 
 	// PrismModelListener methods