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/JavadocWizard.java
PlatformUI.getWorkbench().getProgressService(),
					createSaveModifiedResourcesRunnable(dirtyFiles),
					workspace.getRoot());
			} finally {
				description.setAutoBuilding(autoBuild);
				workspace.setDescription(description);
			}
		} catch (InterruptedException ex) {
			return false;
		}
		return true;
	}
	private IRunnableWithProgress createSaveModifiedResourcesRunnable(final IFile[] dirtyFiles) {
		return new IRunnableWithProgress() {
			public void run(IProgressMonitor pm) {
				if (pm == null) {
					pm= new NullProgressMonitor();
				}
				IEditorPart[] editorsToSave= JavaPlugin.getDirtyEditors();
				String name= JavadocExportMessages.getString("JavadocWizard.savetask.name"); 
				pm.beginTask(name, editorsToSave.length);
				try {
					List dirtyFilesList= Arrays.asList(dirtyFiles);
					for (int i= 0; i < editorsToSave.length; i++) {
						if (editorsToSave[i].getEditorInput() instanceof IFileEditorInput) {
							IFile dirtyFile= ((IFileEditorInput) editorsToSave[i].getEditorInput()).getFile();
							if (dirtyFilesList.contains((dirtyFile)))
								editorsToSave[i].doSave(new SubProgressMonitor(pm, 1));
						}
						pm.worked(1);