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
fAuthor= true;
		fVersion= true;
		fNodeprecated= false;
		fNoDeprecatedlist= false;
		fNonavbar= false;
		fNoindex= false;
		fNotree= false;
		fSplitindex= true;
	}
	private void loadStore(Element element) {
		fAccess= element.getAttribute(VISIBILITY);
		if (!(fAccess.length() > 0))
			fAccess= PRIVATE;
		
		fSourcepath= element.getAttribute(SOURCEPATH);
		String token;
		if (!fSourcepath.equals("")) {
			int index= fSourcepath.indexOf(";");
			if (index != -1)
				token= fSourcepath.substring(0, index);
			else
				token= fSourcepath;
			IContainer container= fRoot.getContainerForLocation(new Path(token));
			if (container != null) {
				IProject p= container.getProject();
				fProject= JavaCore.create(p);
			}
		}
		
		fDestination= element.getAttribute(DESTINATION);