public TripDB readTripDB (String fn) {
	    // import rivers
	    try {
			tripDB = TripDB.read (fn);
			return tripDB;
		} catch (Exception e) {
			System.out.println ("Could not read trip data file " + fn + ".");
			e.printStackTrace();
		}
	    return null;
    }