Bug 17177 Javadoc wizard doesn't remember checked options between 2 runs
Build 20020521 The Javadoc wizard doesn't remember that I checked 'Open generated index file in browser' between 2 runs. As a result, I cannot just press Finish, but I need to press Next twice, then check the option again, then press Finish.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javadocexport/JavadocOptionsManager.java
public final static String CLASSPATH= "classpath"; 
	public final static String DESTINATION= "destdir"; 
	public final static String VISIBILITY= "access"; 
	public final static String PACKAGENAMES= "packagenames"; 
	public final static String EXTRAOPTIONS= "additionalparam"; 
	public final static String JAVADOCCOMMAND= "javadoccommand"; 
	public final static String TITLE= "doctitle"; 
	public final String HREF="href"; 
	public final String NAME= "name"; 
	public final String PATH= "path"; 
	private final String FROMSTANDARD= "fromStandard"; 
	private final String ANTPATH= "antpath"; 
	
	/**
	 * @param xmlJavadocFile The ant file to take initl values from or null, if not started from an ant file.
	 * @param setting Dialog settings for the Javadoc exporter.
	 */
	public JavadocOptionsManager(IFile xmlJavadocFile, IDialogSettings settings, ISelection currSelection) {
		Element element;
		this.fRoot= ResourcesPlugin.getWorkspace().getRoot();
		fJDocCommand= JavadocPreferencePage.getJavaDocCommand();
		this.fXmlfile= xmlJavadocFile;
		this.fWizardStatus= new StatusInfo();
		this.fLinks= new HashMap();
		
		if(xmlJavadocFile!= null) {
			try {
				JavadocReader reader= new JavadocReader(xmlJavadocFile.getContents());
				element= reader.readXML();