/**
* Set the given view to be the current view. Fire a contentsChanged() event to registered view
* listeners. Throw an exception if the view is not known.
*/
public void setCurrentView(View v) {
if ((v != null) && !_views.contains(v)) {
throw new IllegalArgumentException("View " + v + " is not known by application " + this);
}
_views.setSelectedItem(v);
}
