public void refreshList () {
		if ((riverListModel == null) || (MainWindow.riverDB == null))
			return;
		riverListModel.removeAllElements();
		for (River r: MainWindow.riverDB.getAllRivers(true)) {
    		riverListModel.addElement( r);
	    }
		riverList.setSelectedIndex(0);
	}