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

jvergara

03.41.2008 6e53a5f10e25eb81fee980c639353cd7f73f1e29

 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)