Bug 95311 [javadoc wizard] Allow setting of -source 1.5 through UI
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javadocexport/JavadocOptionsManager.java
}
			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) {
				ExecutionArguments tokens= new ExecutionArguments(fVMParams, fAdditionalParams); 
				String[] vmArgsArray= tokens.getVMArgumentsArray();
				for (int i= 0; i < vmArgsArray.length; i++) {
					vmArgs.add(vmArgsArray[i]);
				}
				
				String[] argsArray= tokens.getProgramArgumentsArray();