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
}
					}
				}
			}
		}
		return (IJavaElement[]) res.toArray(new IJavaElement[res.size()]);
	}
	/**
	 * @return Returns the javadocCommandHistory.
	 */
	public String[] getJavadocCommandHistory() {
		return fJavadocCommandHistory;
	}
	
	
	public StatusInfo getWizardStatus() {
		return fWizardStatus;
	}
	public IJavaElement[] getInitialElements() {
		return fInitialElements;
	}
	public IJavaElement[] getSourceElements() {
		return fSelectedElements;
	}
	public String getAccess() {
		return fAccess;
	}
	public String getAntpath() {
		return fAntpath;
	}