+
+ ComponentPreset preset = c.getPresetComponent();
+ if ( preset != null ) {
+ elements.add("<preset type=\"" + preset.getType() +
+ "\" manufacturer=\"" + preset.getManufacturer().getSimpleName() +
+ "\" partno=\"" + preset.getPartNo() + "\" digest=\"" + preset.getDigest() +"\"/>");
+ }
+