Bug in the paper: in Figure 1, in the FriendViewer application, the top
right blue oval (shown as Activity "FriendTracker") should actually be
a rounded-rectangle Activity "FriendMap" (see Figure 2).