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
settings.put(SOURCE, fJDK14Mode);
		if (fAntpath.length() != 0) 
			settings.put(ANTPATH, fAntpath);
		if (fDestination.length() != 0) 
			settings.put(DESTINATION, fDestination);
		if (fAdditionalParams.length() != 0) 
			settings.put(EXTRAOPTIONS, fAdditionalParams);
		if (fVMParams.length() != 0) 
			settings.put(VMOPTIONS, fVMParams);
		if (fOverview.length() != 0) 
			settings.put(OVERVIEW, fOverview);
		if (fStylesheet.length() != 0) 
			settings.put(STYLESHEETFILE, fStylesheet);
		if (fTitle.length() != 0) 
			settings.put(TITLE, fTitle);
		if (checkedProjects.length == 1) {
			updateRecentSettings(checkedProjects[0]);
		}
		getRecentSettings().store(settings);
	}
		
	public void setJavadocCommandHistory(String[] javadocCommandHistory) {
		fJavadocCommandHistory= javadocCommandHistory;
	}
	public void setAccess(String access) {
		fAccess= access;
	}
	public void setDestination(String destination) {
		fDestination= destination;
	}