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
FocusListener, PaintListener, IPropertyChangeListener, IDocumentListener, ITextInputListener {
		
		private boolean fActive;
		
		private IRegion fActiveRegion;
		
		private Position fRememberedPosition;
		
		private Cursor fCursor;
		
		
		private Color fColor;
		
		private int fKeyModifierMask;
		public void deactivate() {
			deactivate(false);
		}
		public void deactivate(boolean redrawAll) {
			if (!fActive)
				return;
			repairRepresentation(redrawAll);			
			fActive= false;