Bug 95311 [javadoc wizard] Allow setting of -source 1.5 through UI
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javadocexport/JavadocWriter.java
*/
	public JavadocWriter(OutputStream outputStream, IPath basePath, IJavaProject[] projects) {
		Assert.isNotNull(outputStream);
		fOutputStream= new BufferedOutputStream(outputStream);
		fBasePath= basePath;
		fJavaProjects= projects;
	}
	public void writeXML(JavadocOptionsManager store) throws ParserConfigurationException, TransformerException {
		DocumentBuilder docBuilder= null;
		DocumentBuilderFactory factory= DocumentBuilderFactory.newInstance();
		factory.setValidating(false);
		docBuilder= factory.newDocumentBuilder();
		Document document= docBuilder.newDocument();
		
		Element project= document.createElement("project"); 
		document.appendChild(project);
		project.setAttribute("default", "javadoc"); 
		Element javadocTarget= document.createElement("target"); 
		project.appendChild(javadocTarget);
		javadocTarget.setAttribute("name", "javadoc"); 
		Element xmlJavadocDesc= document.createElement("javadoc"); 
		javadocTarget.appendChild(xmlJavadocDesc);
		if (!store.isFromStandard())
			xmlWriteDoclet(store, document, xmlJavadocDesc);
		else
			xmlWriteJavadocStandardParams(store, document, xmlJavadocDesc);
		
		Transformer transformer=TransformerFactory.newInstance().newTransformer();
		transformer.setOutputProperty(OutputKeys.METHOD, "xml"); 
		transformer.setOutputProperty(OutputKeys.ENCODING, "UTF-8");