Bug 501117: Replace gif files in org.eclipse.ui.examples.javaeditor Change-Id: I2220059319da406a4d06d0acc6f93a77f3e20163 Signed-off-by: Matthias Becker <ma.becker@sap.com>