Adapt to change in pde.ui: plugin icon gif->png (impl & tests)
diff --git a/plugins/org.eclipse.objectteams.otequinox.branding/plugin.xml b/plugins/org.eclipse.objectteams.otequinox.branding/plugin.xml
index a2dfe65..608cd82 100644
--- a/plugins/org.eclipse.objectteams.otequinox.branding/plugin.xml
+++ b/plugins/org.eclipse.objectteams.otequinox.branding/plugin.xml
@@ -9,7 +9,7 @@
                icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/team_obj.gif"/>
          <basePlugin 
                id="org.eclipse.ui.workbench"
-               icon="platform:/plugin/org.eclipse.pde.ui/icons/obj16/plugin_obj.gif"/>
+               icon="platform:/plugin/org.eclipse.pde.ui/icons/obj16/plugin_obj.png"/>
       </aspectBinding>
    </extension>