code: static private boolean isAncestorPath(String x, String y) {
      if (!y.startsWith(x)) {
        return false;
      }
      final int len = x.length();
      return y.length() == len || y.charAt(len) == Path.SEPARATOR_CHAR;  
    }
docs: is x an ancestor path of y?