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 final String PRIVATE= "private"; 
	public final String PROTECTED= "protected"; 
	public final String PACKAGE= "package"; 
	public final String PUBLIC= "public"; 
	public final String USE= "use"; 
	public final String NOTREE= "notree"; 
	public final String NOINDEX= "noindex"; 
	public final String NONAVBAR= "nonavbar"; 
	public final String NODEPRECATED= "nodeprecated"; 
	public final String NODEPRECATEDLIST= "nodeprecatedlist"; 
	public final String VERSION= "version"; 
	public final String AUTHOR= "author"; 
	public final String SPLITINDEX= "splitindex"; 
	public final String STYLESHEETFILE= "stylesheetfile"; 
	public final String OVERVIEW= "overview"; 
	public final String DOCLETNAME= "docletname"; 
	public final String DOCLETPATH= "docletpath"; 
	public final String SOURCEPATH= "sourcepath"; 
	public final String CLASSPATH= "classpath"; 
	public final String DESTINATION= "destdir"; 
	public final String OPENINBROWSER= "openinbrowser"; 	
	public final String VISIBILITY= "access"; 
	public final String PACKAGENAMES= "packagenames"; 
	public final String SOURCEFILES= "sourcefiles"; 
	public final String EXTRAOPTIONS= "additionalparam"; 
	public final String VMOPTIONS= "vmparam"; 
	
	public final String TITLE= "doctitle"; 
	public final String HREF= "href"; 
	public final String NAME= "name";