Fix for issue 3110 (Some tools are not defined in the "config/java.properti...

jvergara

03.41.2008 c52a6ba50cd248ccc69bff1580d4b6ae4bfc5aa2

 opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java

@@ -748,7 +748,7 @@
          "backup.offline", "encode-password", "export-ldif.offline",
          "import-ldif.offline", "ldif-diff", "ldifmodify", "ldifsearch",
          "make-ldif", "rebuild-index", "restore.offline", "start-ds",
          "upgrade", "verify-install"
          "upgrade", "verify-index", "dbtest"
      };

      if (supportsServer)