api/java.base/java/util/Collection.html" title="class or interface in java.util" class="external-link">Collection</a>&lt;S&gt;&nbsp;users)</span></div>
<div class="block">Send given message object to the push socket channel as identified by <code>&#64;</code><a href="Push.html" title="annotation in jakarta.faces.push"><code>Push</code></a>, targeted to the
 given users as identified by <code>&lt;f:websocket user&gt;</code>. The message object will be encoded as JSON and be
 available as first argument of th