static JWindow progressInfoBox_box;

svoid progressInfoBox(final O text) swing {
  if (progressInfoBox_box == null || !progressInfoBox_box.isShowing())
    progressInfoBox_box = infoMessage_noprint(str(text));
  else
    infoBox_updateText(progressInfoBox_box, str(text));
}