Setting the Eclipse Proxy

If you're an undergrad or MSc at the University of Bath and are trying to do anything which requires access to the net from within Eclipse, you need to set Eclipse's proxy server settings to the BUCS webcache.

Perhaps on other platforms, but certainly on the Mac, Eclipse ignores the system-wide proxy setting, which is annoying, but you can set it in the preferences, like so: Eclipse Proxy Settings on MacOS X