> > P.S. Do I really need to do a formal patch submission for this small (but > important) javadocs fix?
It's the easiest way to get stuff changed, 'cos we can just run "Patch" to update the source, but if diff'ing is too much to contemplate post some line numbers and text, or the whole file (assuming its smallish) instead. The sooner you do it, the more likely it is to be in the release. d. -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
