code: protected static String getProductInfoDisplayName() {
          String result = null;
          try {
              Map<String, ProductInfo> products = ProductInfo.getAllProductInfo();
              StringBuilder builder = new StringBuilder();
              for (ProductInfo productInfo : products.values()) {
                  ProductInfo replaced = productInfo.getReplacedBy();
                  if (productInfo.getReplacedBy() == null || replaced.isReplacedProductLogged()) {
                      if (builder.length() != 0) {
                          builder.append(", ");
                      }
                      builder.append(productInfo.getDisplayName());
                  }
              }
              result = builder.toString();
          } catch (ProductInfoParseException e) {
              // ignore exceptions-- best effort to get a pretty string
          } catch (DuplicateProductInfoException e) {
              // ignore exceptions-- best effort to get a pretty string
          } catch (ProductInfoReplaceException e) {
              // ignore exceptions-- best effort to get a pretty string
          }
          return result;
      }
docs: Return a display name for the currently running server.