From 93ad8d32b9ee392a07939a030adb9ef27f3acbd4 Mon Sep 17 00:00:00 2001
From: George Karpenkov <george@metaworld.me>
Date: Wed, 6 Jan 2016 11:17:32 +0100
Subject: [PATCH] Remove redundant "throw" statement which has no effect.

---
 src/api/java/Constructor.java     | 6 +-----
 src/api/java/ConstructorList.java | 6 +-----
 2 files changed, 2 insertions(+), 10 deletions(-)

diff --git a/src/api/java/Constructor.java b/src/api/java/Constructor.java
index 26b33ed35..a6c2856d4 100644
--- a/src/api/java/Constructor.java
+++ b/src/api/java/Constructor.java
@@ -87,11 +87,7 @@ public class Constructor extends Z3Object
     {
         try {
             Native.delConstructor(getContext().nCtx(), getNativeObject());
-        }
-        catch (Throwable t) {
-            throw t;
-        }
-        finally {
+        } finally {
             super.finalize();
         }
     }
diff --git a/src/api/java/ConstructorList.java b/src/api/java/ConstructorList.java
index 82b119513..a50ff11ea 100644
--- a/src/api/java/ConstructorList.java
+++ b/src/api/java/ConstructorList.java
@@ -31,11 +31,7 @@ public class ConstructorList extends Z3Object
     {
         try {        
             Native.delConstructorList(getContext().nCtx(), getNativeObject());            
-        }
-        catch (Throwable t) {
-            throw t;
-        }
-        finally {
+        } finally {
             super.finalize();
         }
     }