s.oracle.com/en/java/javase/11/docs/api/java.base/java/io/Serializable.html#java.io.Serializable" name="java.io.Serializable" id="java.io.Serializable" class="extype">Serializable</a></span></span></li><li class="indented0 " name="provingground.Frankl" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="Frankl"></a><a id="Frankl:Frankl"></a> <span class="permalink"><a href="../provingground/Frankl$.html" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifie