common: Annotate Integer.valueOf() as @NonNull

It always returns a new, or existing, Integer object.

Change-Id: Ia37b0fb93780131ce2e7369fb69add515f698e49
Signed-off-by: Alexandre Montplaisir <alexmonthy@efficios.com>
Reviewed-on: https://git.eclipse.org/r/68814
Reviewed-by: Hudson CI
Reviewed-by: Matthew Khouzam <matthew.khouzam@ericsson.com>

diff --git a/common/org.eclipse.tracecompass.common.core/annotations/java/lang/Integer.eea b/common/org.eclipse.tracecompass.common.core/annotations/java/lang/Integer.eea
index 87804485279953a843ea6b0bd4130cfb2350cc89..78e60fca6f7313129d6fe4f5cee6d28fcbe380ff 100644 (file)
--- a/common/org.eclipse.tracecompass.common.core/annotations/java/lang/Integer.eea
+++ b/common/org.eclipse.tracecompass.common.core/annotations/java/lang/Integer.eea
@@ -8,3 +8,6 @@ toString
 toString
  (II)Ljava/lang/String;
  (II)L1java/lang/String;
+valueOf
+ (I)Ljava/lang/Integer;
+ (I)L1java/lang/Integer;