Micha Kops: HTML5 Server Send Events using Node.js or Jetty