static JPanel rightAlign(JComponent c) {
  JPanel panel = new JPanel(new BorderLayout());
  panel.add(BorderLayout.EAST, c);
  ret panel;
}