/** @see javax.swing.table.TableModel#getRowCount() */ public int getRowCount() { return array.size(); }