620621622623624625626627628629630
if (properties == null){ return null; } if (properties.containsAll(Arrays.asList(new SwitchShapePropertiesNames().getPropertyNames()))){ return new SwitchShapePropertiesPanel(CircuitPlugin.resources.getString("Switch")); } else { return super.getPanel(properties); } }