Bug 57283 JavaDocExport: if destination path has spaces, the JavaDoc is generated into the incorrect (truncated) path or fails [javadoc]
Steps to reproduce (Eclipse3.0M8): Create a project with any name; Create some classes there; Execute Export->Javadoc. In the wizard, in the destination editbox, type any name that contains spaces. If the spaces are only in the last segment of the path (say, c:\tmp\my project), the javadoc is just generated in the incorrect (truncated) location (in this example, c:\tmp\my). If there are spaces before the last segment (e.g., c:\Documents and Settings\user\My Documents\my project), generation only produces 2 empty folders (in this example, C:\Documents and the destination that was typed) and fails to do anything else.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javadocexport/JavadocOptionsManager.java
return fNoindex;
		else if (flag.equals(NOTREE))
			return fNotree;
		else if (flag.equals(SPLITINDEX))
			return fSplitindex;
		else if (flag.equals(NONAVBAR))
			return fNonavbar;
		else
			return false;
	}
	private boolean loadBoolean(String value) {
		if (value == null || value.length() == 0) 
			return false;
		else {
			if (value.equals("true")) 
				return true;
			else
				return false;
		}
	}
	
	private String flatPathList(IPath[] paths) {
		StringBuffer buf= new StringBuffer();
		for (int i= 0; i < paths.length; i++) {
			if (i > 0) {
				buf.append(File.pathSeparatorChar);
			}
			buf.append(paths[i].toOSString());
		}
		return buf.toString();