attached to the patch is now another diff, based on the version of CVS
retrieved today morning. Now I understand why Eclipse complained about the
I still wonder whether you will get further problems with the following:
The changes I have done in SplitPanel are cosmetic, improving the
readability of the code; they are not needed for the patch to work AFAIK.
That is not true of Util.java. The good news is that the changes in
Util.java are few, so they can be in the worst case be entered manually.