Bug 6092 JavaEditor should honor the tab width setting of the JavaFormatter
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
}
	
	protected void setSelection(ISourceReference reference, boolean moveCursor) {
		
		if (reference != null) {
			
			try {
				
				ISourceRange range= reference.getSourceRange();
				if (range == null)
					return;
				
				int offset= range.getOffset();
				int length= range.getLength();
				
				if (offset > -1 && length >= 0) {
				
					setHighlightRange(offset, length, moveCursor);
					
					if (moveCursor && (reference instanceof IMember)) {
						range= ((IMember) reference).getNameRange();
						offset= range.getOffset();
						length= range.getLength();
						if (range != null && offset > -1 && length > 0) {
							if (getSourceViewer() != null) {
								getSourceViewer().revealRange(offset, length);
								getSourceViewer().setSelectedRange(offset, length);
							}
						}
					}