<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_4e2o5fqr5bdkulgp3ug6vi2oml, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
static int withLeftMargin_defaultWidth = 6;

static JPanel withLeftMargin(Component etc c) {
  ret withLeftMargin(withLeftMargin_defaultWidth, c);
}

static JPanel withLeftMargin(int margin, Component etc c) {
  ret swing(func -> JPanel {
    JPanel p = new JPanel(new BorderLayout);
    p.setBorder(BorderFactory.createEmptyBorder(0, margin, 0, 0));
    p.add(c);
    ret p;
  });
}