Description John Camelon 2005-07-15 15:52:35 EDT

public CodeReaderCache(int size) {
		cache = new CodeReaderLRUCache(size * MB_TO_KB_FACTOR);
		if (ResourcesPlugin.getWorkspace() != null)
			ResourcesPlugin.getWorkspace().addResourceChangeListener(new
UpdateCodeReaderCacheListener(this));
	}

UpdatedCodeReaderCacheListener is not saved as a member.  Thus, when the cache
is garbage collected it is not garbage collected.  You need to add a finalize()
method which removes the listener from the workspace.