docs: protected void setLocationInfo(Map<String, String> infos) {
  
          if (infos.isEmpty()) {
              m_locationInfoPanel.getStyle().setDisplay(Display.NONE);
          } else {
              StringBuffer infoHtml = new StringBuffer();
              for (Entry<String, String> info : infos.entrySet()) {
                  infoHtml.append("<p><span>").append(info.getKey()).append(":</span>").append(info.getValue()).append(
                      "</p>");
              }
              m_locationInfoPanel.setInnerHTML(infoHtml.toString());
              m_locationInfoPanel.getStyle().clearDisplay();
          }
      }