public String html_tooltip_xref(String txt,String popup_txt,String attrs,String xref){
  String out=String.format("<a title='%s' target='%s' %s href=%s>%s</a>",popup_txt,TARGET,attrs,xref,txt);
  return out;
}

public String html_tooltip_xref ( String txt , String popup_txt , String attrs , String xref ) { String out = String . format ( "<a title='%s' target='%s' %s href=%s>%s</a>" , popup_txt , TARGET , attrs , xref , txt ) ; return out ; }
create html for some text that has both a popup and a cross ref
