Name changes

I am against changing the name of any city where the associated cost is unthinkably high - and the capital city of South Africa, Pretoria, is such an example. The ANC government wants to change the name to Tshwane.


I'm currently in the process of downloading all the bits and bobs that go with the latest version of Eclipse. The original plan was to download a small chunk of it to help out one of my students, but I've decided to get it all now.