Bug 12188 Wrong Stylesheet Flag for Javadoc + impossible to deaktivate selection
javadoc: invalid flag: -stylsheet shouldbe: javadoc -stylesheetfile And it's im possible to deactivate the selecting of using the external Stylesheet.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javadocexport/JavadocOptionsManager.java
private String fStylesheet;
	private String fAdditionalParams;
	private String fOverview;
	private String fTitle;
	private String fJDocCommand;
	private String fSourcepath;
	private String fClasspath;
	private String fAntpath;
	private boolean fNotree;
	private boolean fNoindex;
	private boolean fSplitindex;
	private boolean fNonavbar;
	private boolean fNodeprecated;
	private boolean fNoDeprecatedlist;
	private boolean fAuthor;
	private boolean fVersion;
	public final static String PRIVATE= "private";
	public final static String PROTECTED= "protected";
	public final static String PACKAGE= "package";
	public final static String PUBLIC= "public";
	public final static String NOTREE= "notree";
	public final static String NOINDEX= "noindex";
	public final static String NONAVBAR= "nonavbar";
	public final static String NODEPRECATED= "nodeprecated";
	public final static String NODEPRECATEDLIST= "nodeprecatedlist";
	public final static String VERSION= "version";
	public final static String AUTHOR= "author";
	public final static String SPLITINDEX= "splitindex";
	public final static String STYLESHEETFILE= "stylesheetfile";
	public final static String OVERVIEW= "overview";