ef</dd><dt>Annotations</dt><dd><span class="name">@throws</span><span class="args">(<span><span class="defval">classOf[java.lang.InterruptedException]</span></span>)</span> </dd></dl></div></li><li class="indented0 " name="provingground.translation.Translator#||" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="||(that:provingground.translation.Translator[I,O]):provingground.translation.Translator.OrElse[I,O]"></a><a id="||(Translator[I,O]):OrElse[I,O]"></a> <span class="permalink">