Fix plugin and vendor names

refs 3177

org.fortiss.af3.exploration.smt/trunk/plugin.properties

-# <copyright>
-# </copyright>
-#
+# (c) 2016 fortiss GmbH
 
-pluginName = fortiss AF3 Base Project
+pluginName = Fortiss AF3 SMT Exploration Algorithms
 providerName = fortiss GmbH

org.fortiss.af3.exploration.ui/trunk/plugin.properties

-# <copyright>
-# </copyright>
-#
+# (c) 2017 fortiss GmbH
 
-pluginName = Fortiss AF3 Base Project UI
+pluginName = Fortiss Design Space Exploration UI
 providerName = fortiss GmbH

org.fortiss.af3.exploration/trunk/plugin.properties

 # (c) 2017 fortiss GmbH
 
-pluginName = EA-based Design Space Exploration
+pluginName = Fortiss Design Space Exploration
 providerName = fortiss GmbH

org.fortiss.af3.mira.ui/trunk/build.properties

@@ -3,7 +3,8 @@
 bin.includes = .,\
                META-INF/,\
                plugin.xml,\
-               icons/
+               icons/,\
+               plugin.properties
 jars.compile.order = .
 source.. = src/,\
            test-src/

org.fortiss.af3.mira.ui/trunk/plugin.properties

+# (c) 2011 fortiss GmbH
+
+pluginName = Mira Requirements UI
+providerName = fortiss GmbH

org.fortiss.af3.mira/trunk/plugin.properties

 # (c) 2011 fortiss GmbH
 
-pluginName = Mira Model
-providerName = www.example.org
+pluginName = Mira Requirements
+providerName = fortiss GmbH

org.fortiss.af3.safetycases.ui/trunk/build.properties

@@ -4,6 +4,7 @@ bin.includes = .,\
                META-INF/,\
                plugin.xml,\
                icons/,\
-               lib/
+               lib/,\
+               plugin.properties
 source.. = src/
 output.. = build/

org.fortiss.af3.safetycases.ui/trunk/plugin.properties

+# (c) 2017 fortiss GmbH
+
+pluginName = Fortiss AF3 Safety Cases UI
+providerName = fortiss GmbH

org.fortiss.af3.safetycases/trunk/plugin.properties

 # (c) 2017 fortiss GmbH
 
-pluginName = Micro Model
-providerName = www.example.org
+pluginName = Fortiss AF3 Safety Cases
+providerName = fortiss GmbH

org.fortiss.pragmatictransformation/trunk/plugin.properties

 # (c) 2017 fortiss GmbH
 
-pluginName = Micro Model
-providerName = www.example.org
+pluginName = Fortiss AF3 Pragmatic Transformation
+providerName = fortiss GmbH