From 92bb984305a34839c6d42f29ace3281b678a1d15 Mon Sep 17 00:00:00 2001
From: George Karpenkov <george@metaworld.me>
Date: Wed, 6 Jan 2016 10:19:44 +0100
Subject: [PATCH] catch/throw is redundant.

---
 src/api/java/Z3Object.java | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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();
         }
     }