// We need to be notified of changes to the properties file associated
// with the device repository so that we can refresh the viewer. So,
// we use an ObservableProperties to provide this facility.
ObservableProperties op = dram.getProperties();
op.addPropertyChangeListener(new PropertyChangeListener() {
public void propertyChange(PropertyChangeEvent evt) {
viewer.refresh();
}
});