};
}
public static ViewInstance providePropertiesView(final DeviceContext device) {
final DesktopName name = new DesktopName(PropertiesPanel.class, PathFactory.providePropertiesPath(device));
final ViewPath vp = new ViewPath(ZDesktopManager.dockPROPERTIES, name);
return new ViewInstance() {
public JComponent getView() throws ComponentGenerationException {
try {
ArrayList props = new ArrayList();
props.addAll(device.getDevicePreferences().getPropertyList());