"dateFormat:java.text.DateFormat"></a><a
                                    id="dateFormat:DateFormat"></a>
                                <span class="permalink">
      <a href="../../../../../../ch/unibas/cs/gravis/thriftservice/apps/ColorFitting$.html#dateFormat:java.text.DateFormat"
         title="Permalink">
        <i class="material-icons"></i>
      </a>
    </span>
                                <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">va