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
String hrefs = store.getLinks(fProject);
			StringTokenizer tokenizer = new StringTokenizer(hrefs, ";"); 
			while (tokenizer.hasMoreElements()) {
				String href = (String) tokenizer.nextElement();
				Element links = document.createElement("link"); 
				xmlJavadocDesc.appendChild(links);
				links.setAttribute(store.HREF, href);
			}
		}
		
	}
	private void xmlWriteDoclet(JavadocOptionsManager store, Document document, Element xmlJavadocDesc) throws DOMException, CoreException {
		xmlJavadocDesc.setAttribute(store.PACKAGENAMES, toPackageList(store.getSourceElements()));
		xmlJavadocDesc.setAttribute(store.SOURCEPATH, store.getSourcepath());
		xmlJavadocDesc.setAttribute(store.CLASSPATH, store.getClasspath());
		xmlJavadocDesc.setAttribute(store.VISIBILITY, store.getAccess());
		Element doclet= document.createElement("doclet"); 
		xmlJavadocDesc.appendChild(doclet);
		doclet.setAttribute(store.NAME, store.getDocletName());
		doclet.setAttribute(store.PATH, store.getDocletPath());
		String str= store.getOverview();
		if (!str.equals("")) 
			xmlJavadocDesc.setAttribute(store.OVERVIEW, str);
		str= store.getAdditionalParams();
		if (!str.equals("")) 
			xmlJavadocDesc.setAttribute(store.EXTRAOPTIONS, str);
	}
	/**
	 * Closes this stream.
	 * It is the client's responsibility to close the stream.