Use current ProB icon everywhere

de.prob.eventb.disprover.ui/plugin.xml

@@ -93,7 +93,7 @@
             locationURI="popup:more_commands">
          <command
                commandId="de.prob.eventb.disprover.ui.exportpos"
-               icon="icons/prob_mini_logo.gif"
+               icon="icons/prob.png"
                label="Export POs for ProB (probcli)"
                style="push">
          </command>

de.prob.ui/plugin.xml

@@ -28,7 +28,7 @@
             visible="true">
          <action
                class="de.prob.ui.eventb.ShowProBConfigurations"
-               icon="icons/new_prob_mini.png"
+               icon="icons/prob.png"
                id="showProBConfigurations"
                label="Show ProB Configurations"
                style="pulldown"
@@ -965,18 +965,18 @@
          </command>
          <menu
                commandId="de.prob.ui.navigator.context"
-               icon="icons/new_prob_mini.png"
+               icon="icons/prob.png"
                id="more_commands"
                label="ProB Standalone ...">
             <command
                   commandId="de.prob.ui.newcore.export"
-                  icon="icons/prob_mini_logo.gif"
+                  icon="icons/prob.png"
                   label="Export for use in ProB Standalone"
                   style="push">
             </command>
             <command
                   commandId="de.prob.ui.classic.open"
-                  icon="icons/prob_mini_logo.gif"
+                  icon="icons/prob.png"
                   label="Open in ProB Standalone"
                   style="push">
             </command>

de.prob.ui/src/de/prob/ui/eventb/AnimationPreferencesDialog.java

@@ -504,7 +504,7 @@ public class AnimationPreferencesDialog extends PreferenceDialog {
 		@Override
 		public Image getImage(final Object element) {
 			return AbstractUIPlugin.imageDescriptorFromPlugin(pluginId,
-					"icons/new_prob_mini.png").createImage();
+					"icons/prob.png").createImage();
 		}
 	}