Javadoc should exit with a non-zero code if any warning/error messages are
generated about doc comments defining but not documenting exceptions etc.
This would make it easier to know about such problems in driver programs
like "make", and hence make such javadoc errors be taken more seriously.