but I didn't do this because I feared too many builds would fail in that case (i.e. I commit a patch introducing a JavaDoc warning, all builds with subsequent patches would then fail until my JavaDoc warning got fixed).
That seems OK to me, actually. Generally, the community seems to fix problems like these quite rapidly, once we are aware of them.
thanks, bryan
