-toggle-list"><button class="platform-bookmark" data-filterable-current=":dokkaHtml/jvmMain" data-filterable-set=":dokkaHtml/jvmMain" data-active="" data-toggle=":dokkaHtml/jvmMain">jvm</button></div>
<div class="content sourceset-dependent-content" data-active="" data-togglable=":dokkaHtml/jvmMain"><a data-name="-1064944538%2FProperties%2F-879532132" anchor-label="WEBVIEW_HINT_FIXED" id="-1064944538%2FProperties%2F-879532132" data-filterable-set=":dokkaHtml/jvmMain"></a><div class="symbol monospace"><span 