Merge branch 'release/3.0.5'

README.md

build.gradle

de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF

.../bmotionstudio/gef/editor/attribute/BAttributeCustom.java

.../src/de/bmotionstudio/gef/editor/eventb/EventBHelper.java

...tor/observer/wizard/WizardObserverSimpleValueDisplay.java

de.bmotionstudio.rodin/fragment.xml

...io.rodin/src/de/bmotionstudio/rodin/ActionCollection.java

...odin/src/de/bmotionstudio/rodin/BMotionLabelProvider.java

...c/de/bmotionstudio/rodin/BMotionStudioActionProvider.java

.../de/bmotionstudio/rodin/BMotionStudioContentProvider.java

...in/src/de/bmotionstudio/rodin/BMotionStudioRodinFile.java

....rodin/src/de/bmotionstudio/rodin/BMotionSurfaceRoot.java

...o.rodin/src/de/bmotionstudio/rodin/RenameFileHandler.java

.../bmotionstudio/rodin/StartEventBVisualizationHandler.java

de.prob.core/.classpath

de.prob.core/META-INF/MANIFEST.MF

de.prob.core/build.gradle

de.prob.core/build.properties

de.prob.core/prob_target.target