Bug 95311 [javadoc wizard] Allow setting of -source 1.5 through UI
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javadocexport/JavadocOptionsManager.java
for (int i= 0; i < argsArray.length; i++) {
					toolArgs.add(argsArray[i]);
				}
			}
			for (int i= 0; i < fHRefs.length; i++) {
				toolArgs.add("-link"); 
				toolArgs.add(fHRefs[i]);
			}
		} 
		if (fOverview.length() != 0) { 
			toolArgs.add("-overview"); 
			toolArgs.add(fOverview);
		}
		for (int i= 0; i < fSelectedElements.length; i++) {
			IJavaElement curr= fSelectedElements[i];
			if (curr instanceof IPackageFragment) {
				toolArgs.add(curr.getElementName());
			} else if (curr instanceof ICompilationUnit) {
				IPath p= curr.getResource().getLocation();
				if (p != null)
					toolArgs.add(p.toOSString());
			}
		}
	}
	public File createXML(IJavaProject[] projects) throws CoreException {
		FileOutputStream objectStreamOutput= null;
		
		
		String antpath= fAntpath;
		try {