From 5feccf62de29ca887ca8eaa9a2d409c6fe4d4c49 Mon Sep 17 00:00:00 2001
From: Gayan Weerakutti <gayan@linuxdeveloper.space>
Date: Sun, 27 May 2018 15:06:37 +0530
Subject: [PATCH] Fixup for ddd3c52

This is a fixup for the commit ddd3c52

Issue: #47
---
 src/tests/gov/nasa/jpf/util/SparseClusterArrayTest.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tests/gov/nasa/jpf/util/SparseClusterArrayTest.java b/src/tests/gov/nasa/jpf/util/SparseClusterArrayTest.java
index dba4f751..833311fd 100644
--- a/src/tests/gov/nasa/jpf/util/SparseClusterArrayTest.java
+++ b/src/tests/gov/nasa/jpf/util/SparseClusterArrayTest.java
@@ -180,6 +180,7 @@ public void testClone() {
 
     Cloner<Integer> cloner = new Cloner<Integer>() {
       @Override
+      @SuppressWarnings("deprecation")
 	public Integer clone (Integer other) {
         return new Integer(other);
       }