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
args.add("-overview"); 
			args.add(fOverview);
		}
		for (int i= 0; i < fSourceElements.size(); i++) {
			IJavaElement curr= (IJavaElement) fSourceElements.get(i);
			if (curr instanceof IPackageFragment) {
				args.add(curr.getElementName());
			} else if (curr instanceof ICompilationUnit) {
				args.add(curr.getUnderlyingResource().getLocation().toOSString());
			}
		}
		return (String[]) args.toArray(new String[args.size()]);
	}
	public void createXML() {
		FileOutputStream objectStreamOutput= null;
		ProjectData data= (ProjectData)fLinks.get(fProject);
		String antpath= data.getAntPath();
		try {
			if (!antpath.equals("")) { 
				File file= new File(antpath);
				IPath path= new Path(antpath);
				path= path.removeLastSegments(1);
				path.toFile().mkdirs();
				objectStreamOutput= new FileOutputStream(file);
				JavadocWriter writer= new JavadocWriter(objectStreamOutput);
				writer.writeXML(this);
											
			}
		} catch (IOException e) {
			JavaPlugin.log(e);