static void infoBox_updateText(JWindow box, S text) {
  setWindowContents(box, infoMessage_makePanel(text));
}