Redid the Commitment

GitHub has an error with Eclipse commiting the changes. Use the GitHub
Explorer program for all commitments.