public String toString(){
  StringBuffer buf=new StringBuffer();
  if (root)   buf.append('/');
  for (int i=0, len=names.size(); i < len; i++) {
    if (i != 0)     buf.append('/');
    buf.append((String)names.elementAt(i));
  }
  return buf.toString();
}

public String toString ( ) { StringBuffer buf = new StringBuffer ( ) ; if ( root ) buf . append ( '/' ) ; for ( int i = 0 , len = names . size ( ) ; i < len ; i ++ ) { if ( i != 0 ) buf . append ( '/' ) ; buf . append ( ( String ) names . elementAt ( i ) ) ; } return buf . toString ( ) ; }
get a string representation of this path . it can be either / name1 / name2 or name1 / name2 .
