What do you think of changing ``EclipseResource.workspacePath`` to return a ``IPath``, as it seems to make a lot more sense to me. By the way, this  is the only place where ``EclipseResource.workspacePath`` is used, so it should be an easy change (depending also on how you feel about source compatibility).