From b0dcdd08eac2495a2b62f8daed344402cbc958bc Mon Sep 17 00:00:00 2001
From: aclement <aclement>
Date: Sat, 23 Aug 2008 04:14:14 +0000
Subject: [PATCH] eclipse: unnecessary cast

---
 ajdoc/src/org/aspectj/tools/ajdoc/Main.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java
index a236421ef..a69dbc1d5 100644
--- a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java
+++ b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java
@@ -399,7 +399,7 @@ public class Main implements Config {
 	        	StringTokenizer st = new StringTokenizer(line, " ");
 	        	List argList = new ArrayList();
 	        	while(st.hasMoreElements()) {
-	        		argList.add((String)st.nextElement());
+	        		argList.add(st.nextElement());
 	        	}
 	        	//System.err.println(argList);
 	        	args = new String[argList.size()];
-- 
2.39.5