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
public void setDocletPath(String docletpath) {
		fDocletpath= docletpath;
	}
	public void setDocletName(String docletname) {
		fDocletname= docletname;
	}
	public void setStyleSheet(String stylesheet) {
		fStylesheet= stylesheet;
	}
	public void setOverview(String overview) {
		fOverview= overview;
	}
	public void setAdditionalParams(String params) {
		fAdditionalParams= params;
	}
	
	public void setVMParams(String params) {
		fVMParams= params;
	}
	public void setGeneralAntpath(String antpath) {
		fAntpath= antpath;
	}
	public void setClasspath(IPath[] classpath) {
		fClasspath= classpath;
	}
	public void setSourcepath(IPath[] sourcepath) {
		fSourcepath= sourcepath;
	}
	public void setSelectedElements(IJavaElement[] elements) {
		fSelectedElements= elements;