deathNode.setUserObject("Death" + "(" + deathNotificationList.size() + ")");
if (deathNotificationList.isEmpty()) {
treeModel.removeNodeFromParent(deathNode);
}
} else if (notification.getType() == Notification.Type.MIGRATION) {
treeModel.removeNodeFromParent(
(MutableTreeNode) migrationNode.getChildAt(migrationNotificationList.indexOf(notification)));
migrationNotificationList.remove(notification);
migrationNode.setUserObject("Migration" + "(" + migrationNotificationList.size() + ")");
if (migrationNotificationList.isEmpty()) {
treeModel.removeNodeFromParent(migrationNode);