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
if (destination.equals("")) { 
			NodeList list= element.getChildNodes();
			for (int i= 0; i < list.getLength(); i++) {
				Node child= list.item(i);
				if (child.getNodeName().equals("doclet")) { 
					fDocletpath= ((Element) child).getAttribute(PATH);
					fDocletname= ((Element) child).getAttribute(NAME);
					if (!(fDocletpath.equals("") && !fDocletname.equals(""))) { 
						fFromStandard= false;
					} else {
						fDocletname= ""; 
						fDocletpath= ""; 
					}
					break;
				}
			} 
		}
	if(fProject != null) {
		boolean firstTime= true;
		StringBuffer buf= new StringBuffer();
		NodeList children= element.getChildNodes();	
		for(int i=0; i < children.getLength(); i++) {
			Node child= children.item(i);
			if(child.getNodeName().equals("link")) { 
				String href= ((Element)child).getAttribute(HREF);
				if(firstTime)
					firstTime= false; 
				else	buf.append(';');
				buf.append(href);