This is a meaningful message, per Arvid. We are getting into the habit
of making good commit comments.

We are testing the ability to push Eclipse project files to GitHub.

(we are updating Bug#K1234567)