diff --git a/src/api/java/Z3Object.java b/src/api/java/Z3Object.java
index 574a2820c..dc1feecbf 100644
--- a/src/api/java/Z3Object.java
+++ b/src/api/java/Z3Object.java
@@ -31,11 +31,7 @@ public class Z3Object extends IDisposable
     {
         try {
             dispose();            
-        }
-        catch (Throwable t) {
-            throw t;
-        }
-        finally {
+        } finally {
             super.finalize();
         }
     }