[incquery-dev] Project registration error in incquery 0.7

[Ujhelyi Zoltán <ujhelyiz@xxxxxxxxxx>]

Hi everybody,

I have found a nasty issue in project registration: an incorrect builder id is registered during the execution of the New project wizard (it is a renaming error from the project renaming). The issue is nasty, as everything seems to work while it is misset, but there might be some slight issues.

The cep projects of István Dávid are most certainly affected, and there might be other existing projects that we have no control of.

I have already opened the issue https://bugs.eclipse.org/bugs/show_bug.cgi?id=404952 on Bugzilla, and created a fix for all future projects. However, for already existing projects we should provide a way to fix this - preferably without the manual editing of the .project file.

I will take a look into that part as well, in the meanwhile, please be careful about this issue.

Zoli
-- Zoltán Ujhelyi
https://www.inf.mit.bme.hu/en/members/ujhelyiz

Fault Tolerant Systems Research Group
Budapest University of Technology and Economics