imported patch PrismCL-call-closedown-on-exit.patch

prism/src/prism/PrismCL.java

@@ -2576,7 +2576,7 @@ public class PrismCL implements PrismModelListener
 	 */
 	private void exit()
 	{
-		prism.closeDown(true);
+		closeDown();
 		System.exit(0);
 	}
 
@@ -2585,7 +2585,7 @@ public class PrismCL implements PrismModelListener
 	 */
 	private void exit(int i)
 	{
-		prism.closeDown(true);
+		closeDown();
 		System.exit(i);
 	}