Bug 66946 JavaDoc wizard forgets about options on 3rd page [javadoc]
3.0RC2 The options: - JRE 1.4 source compat. - Save the settings... (the checkbox) - Open generated index file in browser are not remembered in (or reloaded from?) the javadoc.xml when rerunning the wizard.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javadocexport/JavadocOptionsManager.java
}
	public String getAccess() {
		return fAccess;
	}
	public String getAntpath() {
		return fAntpath;
	}
	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() {