[news.eclipse.tools] Trouble changing build path

[kmunir@xxxxxxxxxx (Kushal Munir)]

Hi,

I added a project to my workspace from a CVS repository. The project's
build path included some jars that were no longer vaild. I changed the
build path in the project's properties, and everything was fine. However,
as I synchronized the project with the repsoitory, the build path reverted
back to as it was before. It seems that the .classpath file was not
updated (or was updated then went back to an older copy upon synchronize).

I tried this several times unsuccessfully. Finally, I edited the
classpath file directly and had no problems.

It appears that changing the build path in the project properties didn't
work. Is this a bug?