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/JavadocWriter.java
private void xmlWriteJavadocStandardParams(JavadocOptionsManager store, Document document ,Element xmlJavadocDesc) throws DOMException, CoreException {
		xmlJavadocDesc.setAttribute(store.DESTINATION, store.getDestination(store.getJavaProject()));
		xmlJavadocDesc.setAttribute(store.VISIBILITY, store.getAccess());
		xmlJavadocDesc.setAttribute(store.USE, booleanToString(store.getBoolean("use"))); 
		xmlJavadocDesc.setAttribute(store.NOTREE, booleanToString(store.getBoolean("notree"))); 
		xmlJavadocDesc.setAttribute(store.NONAVBAR, booleanToString(store.getBoolean("nonavbar"))); 
		xmlJavadocDesc.setAttribute(store.NOINDEX, booleanToString(store.getBoolean("noindex"))); 
		xmlJavadocDesc.setAttribute(store.SPLITINDEX, booleanToString(store.getBoolean("splitindex"))); 
		xmlJavadocDesc.setAttribute(store.AUTHOR, booleanToString(store.getBoolean("author"))); 
		xmlJavadocDesc.setAttribute(store.VERSION, booleanToString(store.getBoolean("version"))); 
		xmlJavadocDesc.setAttribute(store.NODEPRECATEDLIST, booleanToString(store.getBoolean("nodeprecatedlist"))); 
		xmlJavadocDesc.setAttribute(store.NODEPRECATED, booleanToString(store.getBoolean("nodeprecated"))); 
		xmlJavadocDesc.setAttribute(store.PACKAGENAMES, toPackageList(store.getSourceElements()));
		xmlJavadocDesc.setAttribute(store.SOURCEPATH, store.getSourcepath());
		xmlJavadocDesc.setAttribute(store.CLASSPATH, store.getClasspath());
		String str= store.getOverview();
		if (!str.equals("")) 
			xmlJavadocDesc.setAttribute(store.OVERVIEW, str);
		str= store.getStyleSheet();
		if (!str.equals("")) 
			xmlJavadocDesc.setAttribute(store.STYLESHEETFILE, str);
			
		str= store.getTitle();	
		if(!str.equals("")) 
			xmlJavadocDesc.setAttribute(store.TITLE, str);
		str= store.getAdditionalParams();
		if (!str.equals("")) 
			xmlJavadocDesc.setAttribute(store.EXTRAOPTIONS, str);
			
		if (fProject != null) {