Don't use IPath.equals() since it is broken on Windows