Merge branch '4422' into 'master'

com.microsoft.z3/META-INF/MANIFEST.MF

eu.fbk.af3.tools.diagram.ui/META-INF/MANIFEST.MF

eu.fbk.af3.tools.diagram/META-INF/MANIFEST.MF

org.fortiss.af3.allocation.ui/META-INF/MANIFEST.MF

org.fortiss.af3.allocation/META-INF/MANIFEST.MF

org.fortiss.af3.component.ui/META-INF/MANIFEST.MF

org.fortiss.af3.component/META-INF/MANIFEST.MF

org.fortiss.af3.consistency.ui/META-INF/MANIFEST.MF

org.fortiss.af3.consistency/META-INF/MANIFEST.MF

org.fortiss.af3.cosimulation.ui/META-INF/MANIFEST.MF

org.fortiss.af3.cosimulation/META-INF/MANIFEST.MF

org.fortiss.af3.exploration.smt/META-INF/MANIFEST.MF

org.fortiss.af3.exploration.ui/META-INF/MANIFEST.MF

org.fortiss.af3.exploration/META-INF/MANIFEST.MF

org.fortiss.af3.expression.ui/META-INF/MANIFEST.MF

org.fortiss.af3.expression/META-INF/MANIFEST.MF

org.fortiss.af3.expression/pom.xml

org.fortiss.af3.ff1.generator.ui/META-INF/MANIFEST.MF

org.fortiss.af3.ff1.generator/META-INF/MANIFEST.MF

org.fortiss.af3.function.ui/META-INF/MANIFEST.MF