Bug 71354 [painting] IAE in StyledText.getBidiSegments upon revert
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
/**
		 * A property change event filter.
		 */
		public interface IPropertyChangeEventFilter {
			/**
			 * Should the given event be filtered?
			 * @param event The property change event.
			 * @return <code>true</code> iff the given event should be filtered.
			 */
			public boolean isFiltered(PropertyChangeEvent event);
		}
		/**
		 * Property change listener. Listens for events in the options Map and
		 * fires a {@link org.eclipse.jface.util.PropertyChangeEvent}
		 * on this adapter with arguments from the received event.
		 */
		private class PropertyChangeListener implements IPropertyChangeListener {