this.fireTableDataChanged();
        void addPatch(IPatch p) {            ErrorMsg.reportStatus("LibraryFrame.addPatch: Patch=" + (Patch) p);            list.add(p);            //  fireTableRowsUpdated(getRowCount(),getRowCount());            this.fireTableDataChanged();        }