Bug 236324 [Forms] Eclipse 3.4 crashes / failes to repaint when "Close Others" is used with SharedHeaderFormEditor
bundles/org.eclipse.ui.forms/src/org/eclipse/ui/internal/forms/widgets/FormImages.java
private int fTheight;
		private int fMarginHeight;
		
		SimpleImageIdentifier (Display display, Color color1, Color color2,
				int realtheight, int theight, int marginHeight) {
			super(display, new Color[] {color1, color2}, realtheight);
			fTheight = theight;
			fMarginHeight = marginHeight;
		}
		
		public boolean equals(Object obj) {
			if (obj instanceof SimpleImageIdentifier) {
				SimpleImageIdentifier id = (SimpleImageIdentifier) obj;
				if (super.equals(obj)  &&
						id.fTheight == fTheight && id.fMarginHeight == fMarginHeight)
					return true;
			}
			return false;
		}
		
		public int hashCode() {
			int hash = super.hashCode();
			hash = hash * 7 + new Integer(fTheight).hashCode();
			hash = hash * 7 + new Integer(fMarginHeight).hashCode();
			return hash;
		}
	}
	
	private class ComplexImageIdentifier extends ImageIdentifier {