Community
Participate
Working Groups
While initializing JavaModelManager, preferences listeners are set but they are not removed while shutting down!
Created attachment 77102 [details] Proposed patch Preferences listeners are now stored in JavaModelManager to remove them while shutting down. This patch also gives easier access to indexManager and deltaState variables through static methods instead of using getJavaModelManager()... UserLibraryManager is also no longer a preferences listener but just called by the existing one when the modified preference name starts with user library prefix.
Released for 3.4M2 in HEAD stream.
(In reply to comment #2) Verified in the code for 3.4 M2 using build I20070917-0010.