@jquery.js@ window.jQueryVaadin = window.jQuery.noConflict(true); (function(jQuery, undefined) { @jquery.atmosphere.js@ })(jQueryVaadin); if (window.console) { window.console.log("Vaadin push loaded"); }