Bug 579600

Summary: Error markers not disappearing in Project Explorer
Product: [Eclipse Project] Platform Reporter: Liviu Enache <liviu.enache>
Component: UIAssignee: Platform-UI-Inbox <Platform-UI-Inbox>
Status: NEW --- QA Contact:
Severity: normal    
Priority: P3    
Version: 4.19   
Target Milestone: ---   
Hardware: PC   
OS: Linux   
Whiteboard:
Attachments:
Description Flags
Project used to recreate the bug none

Description Liviu Enache CLA 2022-04-06 07:34:55 EDT
Created attachment 288397 [details]
Project used to recreate the bug

Error markers present when deleting a project from the Explorer still appear when re-opening the project after fixing the errors outside of Eclipse.

Recreate using the attached project:
1. Open the "Markers_test" project and insert an error in "SomeClass.java".
2. Wait for the error markers to appear inside the Project Explorer.
3. Delete the project from the Project Explorer.
4. Fix the error outside of Eclipse using a text editor.
5. Re-open the project from the filesystem.

The error marker should still be visible on the project's icon. A manual refresh does not fix it.

If "Refresh on access" is enabled, accessing the file from step 1 fixes the problem. Otherwise, another error must be added and fixed afterwards in the same file as step 1.

The problem seems to be related to a cache found in "NestedProjectsProblemsModel.java", which holds problem severities for resources and is perhaps not properly updated in some corner cases.