public String findURIFromDoc(int owner){
  int n=m_sourceTree.size();
  for (int i=0; i < n; i++) {
    SourceTree sTree=(SourceTree)m_sourceTree.elementAt(i);
    if (owner == sTree.m_root)     return sTree.m_url;
  }
  return null;
}

public String findURIFromDoc ( int owner ) { int n = m_sourceTree . size ( ) ; for ( int i = 0 ; i < n ; i ++ ) { SourceTree sTree = ( SourceTree ) m_sourceTree . elementAt ( i ) ; if ( owner == sTree . m_root ) return sTree . m_url ; } return null ; }
given a document , find the url associated with that document .
