+## Revision 1.7 2001/02/19 19:19:21 mdw
+## Minor build system fixes.
+##
+## Revision 1.6 2001/02/07 09:09:20 mdw
+## Install Java files in the right place.
+##
+## Revision 1.5 2001/02/06 10:06:25 mdw
+## Find a suitable Java compiler. If there isn't one, don't compile the
+## Java bits.
+##