private void onValueChange(String token) {
// Find the MapsDemoInfo associated with the history context. If one is
// found, show it (It may not be found, for example, when the user mis-
// types a URL, or on startup, when the first context will be "").
MapsDemoInfo info = list.find(token);
if (info == null) {
showInfo();
return;
}
show(info, false);