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