window.vaadinPush = window.vaadinPush|| {};
(function(define) {
@atmosphere.js@
if (window.console) {
	window.console.log("Vaadin push loaded");
}
}).call(window.vaadinPush);