From 56db1867ef352cba591225958aae7665a3297e00 Mon Sep 17 00:00:00 2001
From: George Karpenkov <george@metaworld.me>
Date: Wed, 6 Jan 2016 10:24:00 +0100
Subject: [PATCH] Proper idiomatic isEquals implementation.

---
 src/api/java/Symbol.java | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/src/api/java/Symbol.java b/src/api/java/Symbol.java
index 44c08e572..b54474beb 100644
--- a/src/api/java/Symbol.java
+++ b/src/api/java/Symbol.java
@@ -49,17 +49,14 @@ public class Symbol extends Z3Object
         return getKind() == Z3_symbol_kind.Z3_STRING_SYMBOL;
     }
 
+    @Override
     public boolean equals(Object o)
     {
-        Symbol casted = null;
-        try {
-	    casted = Symbol.class.cast(o);
-        }
-        catch (ClassCastException e) {
-            return false;
-        }
-
-        return this.getNativeObject() == casted.getNativeObject();
+        if (o == null) return false;
+        if (o == this) return true;
+        if (o.getClass() != this.getClass()) return false;
+        Symbol other = (Symbol) o;
+        return this.getNativeObject() == other.getNativeObject();
     }
 
     /**