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);
       }