private String handleDelete(String cmd) {
        String[] arg = cmd.split("\\s+");            // delete entry
        if (arg.length < 2) {
            return " usage: del <name>...\n";
        }
        for (int i = 1; i < arg.length; i++) {
            p.remove(arg[i]);
        }
        ((AbstractTableModel) table.getModel()).fireTableDataChanged();
        sp.repaint();
        return "";
    }