diff --git a/src/api/java/AST.java b/src/api/java/AST.java
index 418c43e9f..b7d048a1e 100644
--- a/src/api/java/AST.java
+++ b/src/api/java/AST.java
@@ -37,13 +37,15 @@ public class AST extends Z3Object
      **/
     public boolean equals(Object o)
     {
-	AST casted = null;
+        AST casted = null;
 
-	try {
-	    casted = AST.class.cast(o);
-	} catch (ClassCastException e) {
-	    return false;
-	}
+        try
+        {
+            casted = AST.class.cast(o);
+        } catch (ClassCastException e)
+        {
+            return false;
+        }
 
         return this.NativeObject() == casted.NativeObject();
     }
@@ -60,18 +62,20 @@ public class AST extends Z3Object
             return 1;
 
         AST oAST = null;
-	try {
-	    AST.class.cast(other);
-	} catch (ClassCastException e) {
-	    return 1;
-	}
+        try
+        {
+            oAST = AST.class.cast(other);
+        } catch (ClassCastException e)
+        {
+            return 1;
+        }
 
-	if (Id() < oAST.Id())
-	    return -1;
-	else if (Id() > oAST.Id())
-	    return +1;
-	else
-	    return 0;
+        if (Id() < oAST.Id())
+            return -1;
+        else if (Id() > oAST.Id())
+            return +1;
+        else
+            return 0;
     }
 
     /**