Revise documentation on Eclipse set-up.