docs: public static String getSREAsXML(ISREInstall sre) throws CoreException {
  		try {
  			final DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance();
  			final DocumentBuilder builder = factory.newDocumentBuilder();
  			final Document xmldocument = builder.newDocument();
  
  			final Element sreNode = xmldocument.createElement("SRE"); //$NON-NLS-1$
  			sreNode.setAttribute("platform", Boolean.toString(isPlatformSRE(sre))); //$NON-NLS-1$
  			sreNode.setAttribute("id", sre.getId()); //$NON-NLS-1$
  			sreNode.setAttribute("class", sre.getClass().getName()); //$NON-NLS-1$
  			sre.getAsXML(xmldocument, sreNode);
  			xmldocument.appendChild(sreNode);
  
  			final TransformerFactory transFactory = TransformerFactory.newInstance();
  			final Transformer trans = transFactory.newTransformer();
  			try (ByteArrayOutputStream baos = new ByteArrayOutputStream()) {
  				final DOMSource source = new DOMSource(xmldocument);
  				final PrintWriter flot = new PrintWriter(baos);
  				final StreamResult xmlStream = new StreamResult(flot);
  				trans.transform(source, xmlStream);
  				return new String(baos.toByteArray());
  			}
  		} catch (Throwable e) {
  			throw new CoreException(SARLEclipsePlugin.getDefault().createStatus(IStatus.ERROR, e));
  		}
  	}