Bug 13989

Summary:	Package view doesn't refresh after JRE switching
Product:	[Eclipse Project] JDT	Reporter:	Philipe Mulet <philippe_mulet>
Component:	Core	Assignee:	Philipe Mulet <philippe_mulet>
Status:	RESOLVED FIXED	QA Contact:
Severity:	normal
Priority:	P3
Version:	2.0
Target Milestone:	2.0 M6
Hardware:	PC
OS:	Windows 2000
Whiteboard:

Description Philipe Mulet

2002-04-17 08:41:57 EDT

Build 20020416

1. Create a new workspace with 2 projects.
2. Enable show referenced libraries
3. Turn off auto-build
4. Go the installed JRE settings, and define another one
5. Switch to this new default JRE 

Note that the package view did not update.

Comment 1 Philipe Mulet

2002-04-17 08:45:26 EDT

The reason for this is that the Java delta did not get notified due to a bug in 
the delta batching on JavaModel operations.

Note that if there had been some parallel resource changes (or marker changes) 
then the delta would have got fired and thus the package view refreshed. This 
can occur if auto-build is on (Java Builder triggers some resource changes if 
classpath changes) or there are some project with classpath problems (missing 
entries, cycles, ... will induce some marker refreshes).

Right now, the package view will only be refreshed at the next resource 
modification (deferred).

Comment 2 Philipe Mulet

2002-04-17 08:58:50 EDT

Fixed by changing the JavaModel operation batching strategy (ignore situation 
where there are some awaiting deltas, as soon as an operation doesn't modify 
resources, queued deltas are fired).