External diff Tool (Eclipse Plugin)

Is there any chance of this fix being implemented in the main branch of the tool? I recently fixed this myself and only noticed it had already had a fix when I came back to the site to raise a bug.

Incidentally I fixed the issue as follows which I think is a slight improvement on the above fix as it's simpler.

74,75c74,75
< IPath path1 = firstResource.getFullPath();
< IPath path2 = secondResource.getFullPath();
---
> IPath path1 = firstResource.getLocation();
> IPath path2 = secondResource.getLocation();
81,88c80,82
< IPath path = ResourcesPlugin.getWorkspace().getRoot().getRawLocation();
< // MessageDialog.openInformation(
< // shell,
< // "External diff Tool Plug-in",
< // "Path: " + path);
<
< String firstArg = path.toString() + path1.toString();
< String secondArg = path.toString() + path2.toString();
---
> String firstArg = path1.toString();
> String secondArg = path2.toString();
96c90
<
---
>