Bug 27114 something leaks StyleRanges and Lines
180K of StyleReanges and 47K of Lines after: -open editor -close editor seems like StyleRange objects are never freed
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
}
			
			if (fLineNumberRulerColumn != null &&
						(LINE_NUMBER_COLOR.equals(property) || 
						PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT.equals(property)  ||
						PREFERENCE_COLOR_BACKGROUND.equals(property))) {
					
					initializeLineNumberRulerColumn(fLineNumberRulerColumn);
			}
			if (isJavaEditorHoverProperty(property)) {
				updateHoverBehavior();
			}				
			
		} finally {
			super.handlePreferenceStoreChanged(event);
		}
	}
	private boolean isJavaEditorHoverProperty(String property) {
		return	PreferenceConstants.EDITOR_DEFAULT_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_NONE_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_CTRL_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_SHIFT_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_CTRL_ALT_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_CTRL_SHIFT_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_CTRL_ALT_SHIFT_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_ALT_SHIFT_HOVER.equals(property);
	}
	
	/**
	 * Shows the line number ruler column.