new DefaultJDOMFactory(), false);
final DeviceRepositoryBrowserPage page =
new DeviceRepositoryBrowserPage(dram);
projDeviceRepositoryChangeListener =
new ProjectDeviceRepositoryChangeListener() {
public void changed() {
try {
DeviceRepositoryAccessorManager dram =
ProjectDeviceRepositoryProvider.
getSingleton().