private static String unescapeDocstring(String escaped)
  {
    // unescape "/*" and "*/"
    String commentUnescaped = escaped.replace("&#47;&#42;", "/*").replace("&#42;&#47;", "*/");
    return StringEscapeUtils.unescapeHtml4(commentUnescaped);
  }
@Test
  public void testUnescapeDocstring()
  {
    String extracted = PdlParseUtils.extractMarkdown(
        "  /**\n" +
        "   * &lt;div&gt;Some html&lt;/div&gt;\n" +
        "   * &#47;&#42; A comment &#42;&#47;\n" +
        "   */\n");
    assertEquals(extracted,
        "<div>Some html</div>\n" +
        "/* A comment */");
  }