From: aclement <aclement>
Date: Sat, 23 Aug 2008 04:14:14 +0000 (+0000)
Subject: eclipse: unnecessary cast
X-Git-Tag: V162DEV_M1~54
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=b0dcdd08eac2495a2b62f8daed344402cbc958bc;p=aspectj.git

eclipse: unnecessary cast
---

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()];