diff --git a/src/api/java/IDisposable.java b/src/api/java/IDisposable.java
index c3855c428..dae8a7262 100644
--- a/src/api/java/IDisposable.java
+++ b/src/api/java/IDisposable.java
@@ -19,9 +19,7 @@ Notes:
 
 package com.microsoft.z3;
 
-public class IDisposable
+public abstract class IDisposable
 {
-    public void dispose()
-    {
-    }
+    public abstract void dispose();
 }