org.gjt.sp.jedit.gui

Class FilteredTableModel<E extends javax.swing.table.TableModel>