Description redacted.
--
MOS_MIGRATED_REVID=105050723
diff --git a/src/main/java/com/google/devtools/build/lib/vfs/Path.java b/src/main/java/com/google/devtools/build/lib/vfs/Path.java
index 8b8e9c0..aac68ee 100644
--- a/src/main/java/com/google/devtools/build/lib/vfs/Path.java
+++ b/src/main/java/com/google/devtools/build/lib/vfs/Path.java
@@ -1113,7 +1113,7 @@
       previousb = b;
       a = a.getParentDirectory();
       b = b.getParentDirectory();
-    } while (a != b); // This has to happen eventually.
+    } while (!a.equals(b)); // This has to happen eventually.
     return previousa.name.compareTo(previousb.name);
   }
 }