BMotionStudio throws cast exception in Rodin3
Description
Environment
Gliffy Diagrams
Activity

Jenkins Build Server June 5, 2014 at 1:04 PM
SUCCESS: Integrated in
ProB_eclipse_develop_Rodin3 #60
fixed (lukas.ladenberger: rev 9c664306e687afa5506f762a3953bf178433b627)
de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/StartEventBVisualizationHandler.java
de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/ActionCollection.java
de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/BMotionLabelProvider.java
de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/BMotionSurfaceRoot.java
de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/BMotionStudioContentProvider.java
de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/BMotionStudioActionProvider.java
de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/IBMotionSurfaceRoot.java
de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/RenameFileHandler.java
de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/BMotionStudioRodinFile.java
de.bmotionstudio.rodin/fragment.xml
Details
Details
Assignee

Reporter

BMotion Studio 1 throws a class cast exception while navigating in the event-b explorer.