Merge "Remove obsolete Eclipse instruction for dev on tools."