From a9b4b6f44a37b39aea4dd1c8a6fa57a7b48e61d5 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Thu, 15 Oct 2020 11:50:09 +0200
Subject: [PATCH] Update headers.txt

---
 headers.txt | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/headers.txt b/headers.txt
index a20b192..b6bdad2 100644
--- a/headers.txt
+++ b/headers.txt
@@ -12,12 +12,13 @@ public class TdApi {
     public abstract static class Object {
         public native String toString();
 
-        public boolean equals(Object o) {
+        @Override
+        public boolean equals(java.lang.Object o) {
             if (o == null) return false;
             if (o == this) return true;
-            if (o instanceof Object) {
+            if (o instanceof TdApi.Object) {
                 try {
-                    return Arrays.equals(this.serialize(), o.serialize());
+                    return Arrays.equals(this.serialize(), ((TdApi.Object) o).serialize());
                 } catch (IOException ex) {
                     ex.printStackTrace();
                 }
@@ -25,6 +26,7 @@ public class TdApi {
             return false;
         }
 
+        @Override
         public int hashCode() {
             try {
                 return Arrays.hashCode(this.serialize());