jump in version; somehow the config version number was way out of sync with releases.
hopefully will stay in sync now.
lots of changes, mostly minor in this release.
main big thing was dropping some jars that were only present as a convenience for running
java apps, but which were ancient and had vulnerabilities. trying to get back to a "no binaries"
standpoint in the git repository.
# specifies the version of the code that is being constructed here.
major=2
minor=140
-revision=187
+revision=188
build=420
# specifies the remainder of the version record info.