GAE Channel API and Touchkit

Hi there,

​I have a working touchkit app on the google app engine and I want it to use the google app engine Channel API so that I can push messages to clients.

The documentation at https://cloud.google.com/appengine/docs/java/channel/javascript​ states that I need to include the following JS source into my application:

but I don’t know how to.

​Anyone know how it might be done?

Cheers,

​Dan