From a71a33372200343301c4388e2c52eccfd58fa705 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 14 Oct 2015 21:33:30 +0100
Subject: [PATCH] Minor Java API fix.

---
 src/api/java/Context.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index b733df2fa..56f9e008c 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -3809,7 +3809,7 @@ public class Context extends IDisposable
         m_intSort = null;
         m_realSort = null;
 
-        if (m_refCount.get() == 0) {
+        if (m_refCount.get() == 0 && m_ctx != 0) {
             try {
                 Native.delContext(m_ctx);
             } catch (Z3Exception e) {