tree fec6abe697fa7a7ea92abb08144727228c3a0558
parent 80a8879beff3141dbc2da105941c631799924aea
author Markus Keller <markus_keller@ch.ibm.com> 1430244301 +0200
committer Markus Keller <markus_keller@ch.ibm.com> 1430244301 +0200

Bug 426025: [Graphics] Switch JDT UI to use png file instead of .gif

Restore /org.eclipse.jdt.ui/icons/full/eview16/*.gif for broken E4, see bug 465456