------- Additional comments from [hidden email] Tue Nov 8 09:05:27 -0800 2005 -------
JL->Pavel: Your are right, the otherjre.cxx should be patched, not the
vendorbase.cxx. For me the changes seem to be ok. There is no patch attached, so
I assume the only changes are those you posted earlier here.