Bug 41868 Declaration View does not refresh when you change Java-code color preferences
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/infoviews/SourceView.java
sourceLines[0]= ""; 
		Strings.trimIndentation(sourceLines, CodeFormatterUtil.getTabWidth());
		if (!Character.isWhitespace(firstLine.charAt(0)))
			sourceLines[0]= firstLine;
		source= Strings.concatenate(sourceLines, delim);
		IDocument doc= new Document(source);
		JavaPlugin.getDefault().getJavaTextTools().setupDocument(doc);
		return doc;
	}
	/*
	 * @see AbstractInfoView#setInput(Object)
	 */
	protected void setInput(Object input) {
		fViewer.setInput(input);
	}
	/**
	 * Removes the leading comments from the given source.
	 * 
	 * @param source the string with the source
	 * @return the source without leading comments
	 */
	private String removeLeadingComments(String source) {
		JavaCodeReader reader= new JavaCodeReader();
		IDocument document= new Document(source);
		int i;
		try {
			reader.configureForwardReader(document, 0, document.getLength(), true, false);
			int c= reader.read();
			while (c != -1 && (c == '\r' || c == '\n' || c == '\t')) {
				c= reader.read();