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
}
	
	private String flatStringList(String[] paths) {
		StringBuffer buf= new StringBuffer();
		for (int i= 0; i < paths.length; i++) {
			if (i > 0) {
				buf.append(File.pathSeparatorChar);
			}
			buf.append(paths[i]);
		}
		return buf.toString();
	}
	
	private String[] arrayFromFlatString(String str) {
		StringTokenizer tok= new StringTokenizer(str, File.pathSeparator);
		String[] res= new String[tok.countTokens()];
		for (int i= 0; i < res.length; i++) {
			res[i]= tok.nextToken();
		}
		return res;
	}
	
	public void getArgumentArray(List vmArgs, List toolArgs) {
		
		vmArgs.add(getJavadocCommandHistory()[0]);
		if (fFromStandard) {
			toolArgs.add("-d"); 
			toolArgs.add(fDestination);
		} else {
			if (fAdditionalParams.length() + fVMParams.length() != 0) {