First push to GitHub (fourth attempt). The bits in this first commit
were first imported into Eclipse to affect a name change, then moved to
local Git (via Windows Explorer), then re-imported to Eclipse for this
operation.
Still working on the innitial push to GitHub.