static Movie readMovie(BufferedReader br) {
		String name;
		int    playingTime;
		boolean gotGoodData;	// True if and only if both name and playingTime 
					//      have valid data
		Movie  newMovie;
		name = br.readLine();
		gotGoodData = false;
		while (!(name==null || gotGoodData)) {
			gotGoodData = true;	// Optimistic! but if an Exception
						//      is thrown, it will be set to false.
			try {
				playingTime = Integer.parseInt(br.readLine());
			} catch (NumberFormatException e) {	// Skip this movie; do 
								//      next one.
				System.err.print("Bad playing time data for "+name);
				System.err.println(" -- movie skipped");
				gotGoodData = false;
				name = br.readLine();
			}
		}
		if (name==null)
			return null;
		else
			return new Movie(name,playingTime);
	}