static void addToNavPossiblyOnTop(bool onTop, JNavigation nav, S name,  F0<JComponent> makeComponent) {
  if (onTop)
    nav.addPageOnTop(name, makeComponent);
  else
    nav.addPage(name, makeComponent);
}