> next time please use the workspace relative mode for the patch, otherwise I > have to merge all by hand ...
Will do. It wasn't obvious to me that (a) my workspace was the same as yours and (b) patches to a single project cared about the workspace. But then, I've never had to install one of these patch files... There are a few other places where I'd really like to improve the javadoc, so when I submit them, I'll use that workspace default.
