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 boolean isFromStandard() {
		return fFromStandard;
	}
	public String getDestination() {
		return fDestination;
	}
	public String getDocletPath() {
		return fDocletpath;
	}
	public String getDocletName() {
		return fDocletname;
	}
	public String getStyleSheet() {
		return fStylesheet;
	}
	public String getOverview() {
		return fOverview;
	}
	public String getAdditionalParams() {
		return fAdditionalParams;
	}
	
	public String getVMParams() {
		return fVMParams;
	}
	public IPath[] getClasspath() {
		return fClasspath;
	}
	public IPath[] getSourcepath() {
		return fSourcepath;