From 2e1711ad86b0f3625e892609a68efe577fa66cba Mon Sep 17 00:00:00 2001
From: jvergara <jvergara@localhost>
Date: Thu, 15 Oct 2009 23:35:22 +0000
Subject: [PATCH] Fix some warnings because generics were not used.

---
 opends/src/server/org/opends/server/tools/JavaPropertiesTool.java |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/opends/src/server/org/opends/server/tools/JavaPropertiesTool.java b/opends/src/server/org/opends/server/tools/JavaPropertiesTool.java
index 967f205..b622235 100644
--- a/opends/src/server/org/opends/server/tools/JavaPropertiesTool.java
+++ b/opends/src/server/org/opends/server/tools/JavaPropertiesTool.java
@@ -22,7 +22,7 @@
  * CDDL HEADER END
  *
  *
- *      Copyright 2008 Sun Microsystems, Inc.
+ *      Copyright 2008-2009 Sun Microsystems, Inc.
  */
 
 package org.opends.server.tools;
@@ -279,7 +279,7 @@
       return ErrorReturnCode.ERROR_USER_DATA.getReturnCode();
     }
 
-    Enumeration propertyNames = properties.propertyNames();
+    Enumeration<?> propertyNames = properties.propertyNames();
 
     boolean overwriteEnvJavaHome = true;
     boolean overwriteEnvJavaArgs = true;
@@ -508,7 +508,7 @@
 
     boolean propertiesAdded = false;
 
-    Enumeration propertyNames = properties.propertyNames();
+    Enumeration<?> propertyNames = properties.propertyNames();
     int nIfs = 0;
     while (propertyNames.hasMoreElements())
     {
@@ -900,7 +900,7 @@
 
     buf.append(
         ":"+CHECK_JAVA_HOME+EOL);
-    Enumeration propertyNames = properties.propertyNames();
+    Enumeration<?> propertyNames = properties.propertyNames();
     while (propertyNames.hasMoreElements())
     {
       String name = propertyNames.nextElement().toString();

--
Gitblit v1.10.0