docs: public static void setSREFromXML(ISREInstall sre, String xml) throws CoreException {
  		try {
  			final Element root = parseXML(xml, false);
  			sre.setFromXML(root);
  		} catch (Throwable e) {
  			throw new CoreException(SARLEclipsePlugin.getDefault().createStatus(IStatus.ERROR, e));
  		}
  	}