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
public final String SPLITINDEX= "splitindex"; 
	public final String STYLESHEETFILE= "stylesheetfile"; 
	public final String OVERVIEW= "overview"; 
	public final String DOCLETNAME= "docletname"; 
	public final String DOCLETPATH= "docletpath"; 
	public final String SOURCEPATH= "sourcepath"; 
	public final String CLASSPATH= "classpath"; 
	public final String DESTINATION= "destdir"; 
	public final String OPENINBROWSER= "openinbrowser"; 	
	public final String VISIBILITY= "access"; 
	public final String PACKAGENAMES= "packagenames"; 
	public final String SOURCEFILES= "sourcefiles"; 
	public final String EXTRAOPTIONS= "additionalparam"; 
	public final String VMOPTIONS= "vmparam"; 
	
	public final String TITLE= "doctitle"; 
	public final String HREF= "href"; 
	public final String NAME= "name"; 
	public final String PATH= "path"; 
	public final String FROMSTANDARD= "fromStandard"; 
	public final String ANTPATH= "antpath"; 
	public final String SOURCE= "source"; 
	
	private final String SECTION_JAVADOC= "javadoc"; 
	private static final String JAVADOC_COMMAND_HISTORY= "javadoc_command_history"; 
	
	public JavadocOptionsManager(IFile xmlJavadocFile, IDialogSettings dialogSettings, List currSelection) {
		fXmlfile= xmlJavadocFile;
		fWizardStatus= new StatusInfo();
		IDialogSettings javadocSection= dialogSettings.getSection(SECTION_JAVADOC);