Marcus convinced me (I didn't need much) this is a better idea. I suggested an XML file (like the public servers) in jdev and Florob came back with a suggestion to encrypt the file transfers (+1). Marcus: I still wonder if we should set that default proxy... Marcus: it will be good for people using gmail