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
private IPath[] fClasspath;
	private boolean fNotree;
	private boolean fNoindex;
	private boolean fSplitindex;
	private boolean fNonavbar;
	private boolean fNodeprecated;
	private boolean fNoDeprecatedlist;
	private boolean fAuthor;
	private boolean fVersion;
	private boolean fUse;
	
	private boolean fJDK14Mode;
	private boolean fOpenInBrowser;
	
	private RecentSettingsStore fRecentSettings;
	
	private String fDestination;
	private String fAntpath;
	public final String PRIVATE= "private"; 
	public final String PROTECTED= "protected"; 
	public final String PACKAGE= "package"; 
	public final String PUBLIC= "public"; 
	public final String USE= "use"; 
	public final String NOTREE= "notree"; 
	public final String NOINDEX= "noindex"; 
	public final String NONAVBAR= "nonavbar"; 
	public final String NODEPRECATED= "nodeprecated"; 
	public final String NODEPRECATEDLIST= "nodeprecatedlist"; 
	public final String VERSION= "version"; 
	public final String AUTHOR= "author";