Thanks, I didn't realize you could do this. I've already updated via tarball but maybe will try this next time.

By the way this is documented in the FAQ: https://wiki.eclipse.org/FAQ_How_do_I_upgrade_Eclipse%3F