Tony experienced a problem when latest version of a file was missing, so no download possible - add page to help out.
More eclipse ignores.