Bug 43228 Encoding Support for Java editor broken
I20030916 This has been broken with the introduction of ExtendedTextEditor.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
range= reference.getSourceRange();
									}
									if (range != null)
										format(viewer, range.getOffset(), range.getLength(), true);
								}
							} catch (JavaModelException exception) {
								
							}
						}
					} else
						format(viewer, selection.x, selection.y, true);
				} catch (BadLocationException exception) {
					
				}
			}
		}
	}
	
	protected final static String LINK_COLOR= PreferenceConstants.EDITOR_LINK_COLOR;
	
	protected final static String MATCHING_BRACKETS=  PreferenceConstants.EDITOR_MATCHING_BRACKETS;
	
	protected final static String MATCHING_BRACKETS_COLOR=  PreferenceConstants.EDITOR_MATCHING_BRACKETS_COLOR;
	
	private final static String COMPILER_TASK_TAGS= JavaCore.COMPILER_TASK_TAGS;
	
	private final static String BROWSER_LIKE_LINKS= PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS;
	
	private final static String BROWSER_LIKE_LINKS_KEY_MODIFIER= PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER;
	/**