From 1ee74dc967285f8b446f28724710981308525647 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Tue, 12 Feb 2019 03:20:21 -0800
Subject: [PATCH] [java] add `@Nullable` annotations to Integer and Double
 models

Summary: Let's see if this changes anything in the CI.

Reviewed By: jeremydubreil

Differential Revision: D14024087

fbshipit-source-id: 5d7642b10
---
 infer/models/java/src/java/lang/Double.java  | 4 +++-
 infer/models/java/src/java/lang/Integer.java | 4 +++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/infer/models/java/src/java/lang/Double.java b/infer/models/java/src/java/lang/Double.java
index ae304cfb7..bd36873c9 100644
--- a/infer/models/java/src/java/lang/Double.java
+++ b/infer/models/java/src/java/lang/Double.java
@@ -7,6 +7,8 @@
 
 package java.lang;
 
+import javax.annotation.Nullable;
+
 public final class Double {
 
   protected final double value;
@@ -19,7 +21,7 @@ public final class Double {
     return new Double(i);
   }
 
-  public boolean equals(Object anObject) {
+  public boolean equals(@Nullable Object anObject) {
     return anObject != null
         && anObject instanceof Double
         && this.value == ((Double) anObject).value;
diff --git a/infer/models/java/src/java/lang/Integer.java b/infer/models/java/src/java/lang/Integer.java
index c75e8696c..71e219bd5 100644
--- a/infer/models/java/src/java/lang/Integer.java
+++ b/infer/models/java/src/java/lang/Integer.java
@@ -7,6 +7,8 @@
 
 package java.lang;
 
+import javax.annotation.Nullable;
+
 public final class Integer {
 
   public static int MAX_VALUE = 2147483647; // 2**31-1
@@ -22,7 +24,7 @@ public final class Integer {
     return new Integer(i);
   }
 
-  public boolean equals(Object anObject) {
+  public boolean equals(@Nullable Object anObject) {
     return anObject != null
         && anObject instanceof Integer
         && this.value == ((Integer) anObject).value;