public void updateRiverList () {

		if (riverListModel == null)
			return;
		
		riverListModel.removeAllElements();
		for (River r : MainWindow.riverDB.getAllRivers (showAllRivers.isSelected()))
			riverListModel.addElement (new RiverComponent (r));
		
	}