From c573b3d55d47fb70d1eff1705f51eae2cb5e2bcc Mon Sep 17 00:00:00 2001 From: Steve Loughran Date: Thu, 10 Mar 2005 15:15:26 +0000 Subject: [PATCH] java1.5 patch git-svn-id: https://svn.apache.org/repos/asf/ant/core/trunk@277881 13f79535-47bb-0310-9956-ffa450edef68 --- .../org/apache/ant/xdoclet/TaskTagsHandler.java | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/proposal/xdocs/src/org/apache/ant/xdoclet/TaskTagsHandler.java b/proposal/xdocs/src/org/apache/ant/xdoclet/TaskTagsHandler.java index 191e03502..21307bdfb 100644 --- a/proposal/xdocs/src/org/apache/ant/xdoclet/TaskTagsHandler.java +++ b/proposal/xdocs/src/org/apache/ant/xdoclet/TaskTagsHandler.java @@ -372,8 +372,8 @@ public class TaskTagsHandler extends XDocletTagSupport } if (instance != null && instance instanceof EnumeratedAttribute) { - EnumeratedAttribute enum = (EnumeratedAttribute) instance; - String[] values = enum.getValues(); + EnumeratedAttribute enum1 = (EnumeratedAttribute) instance; + String[] values = enum1.getValues(); display = ""; for (int i = 0; i < values.length; i++) { @@ -538,11 +538,11 @@ public class TaskTagsHandler extends XDocletTagSupport // Regroup the attributes, since IntrospectionHelper // doesn't give us the whole data structure directly - Enumeration enum = is.getAttributes(); + Enumeration enum2 = is.getAttributes(); Properties attributeTypeMap = new Properties(); - while (enum.hasMoreElements()) { - String name = (String) enum.nextElement(); + while (enum2.hasMoreElements()) { + String name = (String) enum2.nextElement(); Class type = is.getAttributeType(name); attributeTypeMap.setProperty(name, type.getName()); @@ -625,11 +625,11 @@ public class TaskTagsHandler extends XDocletTagSupport // Regroup the elements, since IntrospectionHelper // doesn't give us the whole data structure directly - Enumeration enum = is.getNestedElements(); + Enumeration enum3 = is.getNestedElements(); Properties elementTypeMap = new Properties(); - while (enum.hasMoreElements()) { - String name = (String) enum.nextElement(); + while (enum3.hasMoreElements()) { + String name = (String) enum3.nextElement(); Class type = is.getElementType(name); elementTypeMap.setProperty(name, type.getName());