diff --git a/agents/basic_java/basic.java b/agents/basic_java/basic.java
index e9db507783935cb2bf298efd4152eebb4054229f..72b2b9099a5c19eb76a5a308236a77e96f89df40 100644
--- a/agents/basic_java/basic.java
+++ b/agents/basic_java/basic.java
@@ -274,7 +274,7 @@ class BasicAI
 		{
 			if (removeFrom.elementAt(ii) == kill)
 			{
-				removeFrom.eraseAt(ii);
+				removeFrom.remove(ii);
 				return;
 			}				
 		}