void refreshUI(String xml,DOMTree m_tree){
  if ((xml == null) || xml.equals("")) {
    setErrorMessage("Error","No input XML  specified \n");
    return;
  }
  final Document newRoot=getRoot(xml);
  if (newRoot == null) {
    setErrorMessage("Error","Unable to get new DOM Tree \n");
    return;
  }
  m_tree.setDocument(newRoot);
}

void refreshUI ( String xml , DOMTree m_tree ) { if ( ( xml == null ) || xml . equals ( "" ) ) { setErrorMessage ( "Error" , "No input XML  specified \n" ) ; return ; } final Document newRoot = getRoot ( xml ) ; if ( newRoot == null ) { setErrorMessage ( "Error" , "Unable to get new DOM Tree \n" ) ; return ; } m_tree . setDocument ( newRoot ) ; }
refreshui is called when we have a new filename to parse .
