l</span>
      </span>
                                <span class="symbol">
        <span class="name">dateFormat</span><span class="result">: <span class="extype"
                                                                         name="java.text.DateFormat">DateFormat</span></span>
      </span>


                            </li>
                            <li name="ch.unibas.cs.gravis.thriftservice.apps.ColorFitting#defaultColorProposal"
                                visbl="pub" class="indented