vaadin-framework/push/src/main/templates/vaadinPush.js.tpl

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