Bug 66946 JavaDoc wizard forgets about options on 3rd page [javadoc]
3.0RC2 The options: - JRE 1.4 source compat. - Save the settings... (the checkbox) - Open generated index file in browser are not remembered in (or reloaded from?) the javadoc.xml when rerunning the wizard.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javadocexport/JavadocOptionsManager.java
String[] argsArray= tokens.getProgramArgumentsArray();
				for (int i= 0; i < argsArray.length; i++) {
					toolArgs.add(argsArray[i]);
				}
			}
			for (int i= 0; i < fHRefs.length; i++) {
				toolArgs.add("-link"); 
				toolArgs.add(fHRefs[i]);
			}
		} 
		if (fOverview.length() != 0) { 
			toolArgs.add("-overview"); 
			toolArgs.add(fOverview);
		}
		for (int i= 0; i < fSelectedElements.length; i++) {
			IJavaElement curr= fSelectedElements[i];
			if (curr instanceof IPackageFragment) {
				toolArgs.add(curr.getElementName());
			} else if (curr instanceof ICompilationUnit) {
				IPath p= curr.getResource().getLocation();
				if (p != null)
					toolArgs.add(p.toOSString());
			}
		}
	}
	public void createXML(IJavaProject[] projects) throws CoreException {
		FileOutputStream objectStreamOutput= null;