static JWindow progressInfoBox_box;

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