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

Ludovic Poitou
27.48.2011 d21d7b779d43921236670129d460d3503fbe8907
opends/src/quicksetup/org/opends/quicksetup/installer/ui/InstallWelcomePanel.java
@@ -23,6 +23,7 @@
 *
 *
 *      Copyright 2006-2009 Sun Microsystems, Inc.
 *      Portions Copyright 2011 ForgeRock AS
 */
package org.opends.quicksetup.installer.ui;
@@ -82,10 +83,15 @@
      message = Utils.getCustomizedObject(
          "INFO_WELCOME_PANEL_WEBSTART_INSTRUCTIONS",
          INFO_WELCOME_PANEL_WEBSTART_INSTRUCTIONS.get(
              DynamicConstants.SHORT_NAME,
              DynamicConstants.SHORT_NAME,
              UIFactory.applyFontToHtml(cmd,
                      UIFactory.INSTRUCTIONS_MONOSPACE_FONT),
              DynamicConstants.SHORT_NAME,
              DynamicConstants.COMPACT_VERSION_STRING,
              DynamicConstants.BUILD_ID),
              DynamicConstants.BUILD_ID,
              DynamicConstants.SHORT_NAME,
              DynamicConstants.SHORT_NAME),
          Message.class);
    }
    else