Fixed behaviour of proxy settings editor. Should edit the global proxy.xml, not the workspace one.