fireTableRowsUpdated(row, row);
        void setPatchAt(IPatch p, int row) {            ErrorMsg.reportStatus("LibraryFrame.setPatchAt: row=" + row + ", Patch=" + (Patch) p);            list.set(row, p);            fireTableRowsUpdated(row, row);        }