s="name">date</span><span class="result">: <span class="extype"
                                                                   name="java.util.Date">Date</span></span>
      </span>


                            </li>
                            <li name="ch.unibas.cs.gravis.thriftservice.apps.ColorFitting#dateFormat"
                                visbl="pub" class="indented0 " data-isabs="false" fullComment="no"
                                group="Ungrouped">
                                <a id=