Eclipse preferences tools.