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/JavadocSpecificsWizardPage.java
} else if ((ext == null) || !ext.equalsIgnoreCase("html")) { 
						fOverviewStatus.setError(JavadocExportMessages.getString("JavadocSpecificsWizardPage.overviewincorrect.error")); 
					}
				}
				break;
			case ANTSTATUS :
				fAntStatus = new StatusInfo();
				if (fAntButton.getSelection()) {
					path = new Path(fAntText.getText());
					ext = path.getFileExtension();
					IPath antSeg = path.removeLastSegments(1);
					if ((!antSeg.isValidPath(antSeg.toOSString()))
						|| (ext == null)
						|| !(ext.equalsIgnoreCase("xml"))) 
						fAntStatus.setError(JavadocExportMessages.getString("JavadocSpecificsWizardPage.antfileincorrect.error")); 
					else if (path.toFile().exists())
						fAntStatus.setWarning(JavadocExportMessages.getString("JavadocSpecificsWizardPage.antfileoverwrite.warning")); 
				}
				break;
		}
		updateStatus(findMostSevereStatus());
	}
	/*
	 * @see JavadocWizardPage#onFinish()
	 */
	protected void finish() {
		String str= fExtraOptionsText.getText();
		if (str.length() > 0) 
			fStore.setAdditionalParams(str);
		else fStore.setAdditionalParams("");