That looks like it! Can you recommend the best way to update to the 3.5.1 maintenance build? Currently I have Eclipse Java EE for Web Developers installed. Can I update it via an update site?
I didn't see anywhere to download Eclipse Java EE for Web Developers with the 3.5.1 maintenance version.