<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_c9tmpirg9rpoi9n1lbhrgvgro2, 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 <A> void treePopupMenu(final JTree tree, final VF2<JPopupMenu, A> fillMenu) {
  componentPopupMenu(tree, voidfunc(JPopupMenu menu) {
    MouseEvent evt = componentPopupMenu_getEvent();
    TreePath path = tree.getPathForLocation(evt.getX(), evt.getY());
    if (path == null) ret;
    DefaultMutableTreeNode node = cast path.getLastPathComponent();
    tree.setSelectionPath(path);
    A a = cast node.getUserObject();
    callF(fillMenu, menu, a);
  });
}