diff --git a/src/api/java/FuncDecl.java b/src/api/java/FuncDecl.java
index 14f9bc9e7..28cdf2a2d 100644
--- a/src/api/java/FuncDecl.java
+++ b/src/api/java/FuncDecl.java
@@ -47,9 +47,14 @@ public class FuncDecl extends AST
      **/
     public boolean equals(Object o)
     {
-        FuncDecl casted = (FuncDecl) o;
-        if (casted == null)
+        FuncDecl casted = null;
+
+        try {
+            casted = FuncDecl.class.cast(o);
+        } catch (ClassCastException e) {
             return false;
+        }
+
         return this.getNativeObject() == casted.getNativeObject();
     }
 
diff --git a/src/api/java/Sort.java b/src/api/java/Sort.java
index 46e349cc7..b118a5dc2 100644
--- a/src/api/java/Sort.java
+++ b/src/api/java/Sort.java
@@ -36,13 +36,13 @@ public class Sort extends AST
     {
         Sort casted = null;
 
-    try {
-        casted = Sort.class.cast(o);
-    } catch (ClassCastException e) {
-        return false;
-    }
+        try {
+            casted = Sort.class.cast(o);
+        } catch (ClassCastException e) {
+            return false;
+        }
 
-    return this.getNativeObject() == casted.getNativeObject();
+        return this.getNativeObject() == casted.getNativeObject();
     }
 
     /**
diff --git a/src/api/java/Symbol.java b/src/api/java/Symbol.java
index 6f12dda38..44c08e572 100644
--- a/src/api/java/Symbol.java
+++ b/src/api/java/Symbol.java
@@ -49,6 +49,19 @@ public class Symbol extends Z3Object
         return getKind() == Z3_symbol_kind.Z3_STRING_SYMBOL;
     }
 
+    public boolean equals(Object o)
+    {
+        Symbol casted = null;
+        try {
+	    casted = Symbol.class.cast(o);
+        }
+        catch (ClassCastException e) {
+            return false;
+        }
+
+        return this.getNativeObject() == casted.getNativeObject();
+    }
+
     /**
      * A string representation of the symbol.
      **/