Setting Eclipse Options

(Optional: Adjusting a few of the Eclipse options.)