Update build script to be much more modern. And tidy up some old scripts.
Includes the reporting gizmos in the build stuff, and javadoc.
Various shell scripts used around the project.
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.