public String toString(){
  StringBuffer path=new StringBuffer();
  if (absolute)   path.append("/");
  for (int i=0; i < elements.size(); i++) {
    if (i > 0)     path.append("/");
    path.append(elements.get(i));
  }
  return path.toString();
}

public String toString ( ) { StringBuffer path = new StringBuffer ( ) ; if ( absolute ) path . append ( "/" ) ; for ( int i = 0 ; i < elements . size ( ) ; i ++ ) { if ( i > 0 ) path . append ( "/" ) ; path . append ( elements . get ( i ) ) ; } return path . toString ( ) ; }
returns a full path with leading " / " if absolute .
