private void deleteArgumentButtonActionPerformed(
java.awt.event.ActionEvent evt) { // GEN-FIRST:event_deleteArgumentButtonActionPerformed
argumentTableModel.delete(argumentTable.getSelectedRow());
argumentTable.getSelectionModel().clearSelection();
} // GEN-LAST:event_deleteArgumentButtonActionPerformed
