de>&lt;f:websocket user&gt;</code>. The message object will be encoded as JSON and be
 available as first argument of the JavaScript listener function declared in
 <code>&lt;f:websocket onmessage&gt;</code>.</div>
<dl class="notes">
<dt>Type Parameters:</dt>
<dd><code>S</code> - The generic type of the user identifier.</dd>
<dt>Parameters:</dt>
<dd><code>message</code> - The push message object.</dd>
<dd><code>user</code> - The user to which the push message object must be delivered to.</dd>
<dt>Returns:</d