mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

jvergara
16.35.2009 2e1711ad86b0f3625e892609a68efe577fa66cba
Fix some warnings because generics were not used.
1 files modified
8 ■■■■ changed files
opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 8 ●●●● patch | view | raw | blame | history
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();