Update the icons of the Eclipse tools (issue #144).