bookmarks = new BookmarkList();
bookmarks.getSelectionModel().addListSelectionListener(new ListSelectionListener() {
@Override
public void valueChanged(ListSelectionEvent e) {
Bookmark b = bookmarks.getSelectedValue();
<BUG>if (b != null) {
gui.boundingBoxChanged(b.getArea(), BookmarkSelection.this);</BUG>
}
}
});

bookmarks = new BookmarkList();
bookmarks.getSelectionModel().addListSelectionListener(new ListSelectionListener() {
@Override
public void valueChanged(ListSelectionEvent e) {
Bookmark b = bookmarks.getSelectedValue();
if (b != null && gui != null) {
gui.boundingBoxChanged(b.getArea(), BookmarkSelection.this);
}
}
});
