static JWindow progressInfoBox_box;

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