()
| 1112 | } |
| 1113 | |
| 1114 | @Override |
| 1115 | public void pack(){ |
| 1116 | super.pack(); |
| 1117 | // add some vertical space for the table |
| 1118 | setSize(getWidth(), getHeight() + 300); |
| 1119 | } |
| 1120 | |
| 1121 | protected void populateGUI(){ |
| 1122 | try{ |
no outgoing calls
no test coverage detected