Bug 110433

Summary:	JavaModelManager#getElementsOutOfSynchWithBuffers() should use a HashSet
Product:	[Eclipse Project] JDT	Reporter:	Jerome Lanneluc <jerome_lanneluc>
Component:	Core	Assignee:	Jerome Lanneluc <jerome_lanneluc>
Status:	VERIFIED FIXED	QA Contact:
Severity:	normal
Priority:	P3
Version:	3.1
Target Milestone:	3.2 M3
Hardware:	PC
OS:	Windows XP
Whiteboard:

Description Jerome Lanneluc

2005-09-23 09:29:42 EDT

I20050922

JavaModelManager#getElementsOutOfSynchWithBuffers() and its senders should use a
HashSet instead of a Map where the key and the value are the same.

Comment 1 Jerome Lanneluc

2005-09-29 09:25:15 EDT

Fixed

Comment 2 Olivier Thomann

2005-10-28 11:29:45 EDT

Verified for 3.2 M3 using build I20051025-0800+JDT/Core v_618a