Updating a few Eclipse classpaths