Request approval for https://bugs.eclipse.org/bugs/show_bug.cgi?id=130242
This fixes a problem with the WorkbenchResourceHelper
being unable to distinguish between a resource never having been loaded
before and not existing on disk. Please see the defect for the patch
which has been successfully tested.
Jason A. Sholl
919-543-0011 (t/l 441-0011)