/** Dispose stuff created in the details viewer. */
protected void disposeDetails() {
if (ui != null) {
ui.dispose();
}
if (this.isDisposed() == false) {
for (Control control : detailComposite.getChildren()) {
control.dispose();
}
}
}
