Yet more adjustments to the Eclipse config and/or build environments.