A crawler that downloads and stores data for Intrade prediction markets. Built for Google app Engine using Java.