eclipse: unnecessary cast

diff --git a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java
index a236421efb66463bfc3171d77fb6a9814acc4d2e..a69dbc1d594938bd97821b4a0b67a2cd73e72ef4 100644 (file)
--- 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()];