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