[news.eclipse.platform] JRE Refresh on the Mac

[Ric Wright <riwright@xxxxxxxxx>]

As part of trying to get my JOGL based plugins working on the Mac, I added
the necessary JOGL jars to my /Library/Java/Extensions folder.  That maybe
should have worked but it didn't.  I have now resolved a better, Eclipsoid
way of doing it (if interested, see Loading Native Libraries in this
newsgroup).  Problem is, that on the Mac, Eclipse still thinks the jars are
still in /Library/Java/Extensions even though they aren't there (nor the
trash).  In the Build path dialog, the JRE System library entry shows the
jars which are now gone and whines about them.  I tried simply deleting the
library entirely and re-adding it but no soap. I even coincidentally
upgraded my JRE entirely (normal Mac update).  Nothing.

Anyone know where Eclipse keeps this info and how I can force it to
recognize reality?  :-)

TIA, Ric