ile"
                                visbl="pub" class="indented0 " data-isabs="false" fullComment="no"
                                group="Ungrouped">
                                <a id="modelFile:java.io.File"></a><a id="modelFile:File"></a>
                                <span class="permalink">
      <a href="../../../../../../ch/unibas/cs/gravis/thriftservice/scripts/AugmentModel$.html#modelFile:java.io.File"
         title="Permalink">
        <i class="material-icons"></i>
      </a>
    </