Corrected the repository list given to Taverna, which should speed up
launch a bit.