#681 GI (soton) - No class def found exception

[Colin Snook]

java.lang.NoClassDefFoundError: ac/soton/refactory/eventb/RefactoryFormulaRewriter
at ac.soton.genericinstantiation.core.utils.EventBUtils.getFormulaRewriter(EventBUtils.java:387)
at ac.soton.genericinstantiation.core.utils.EventBUtils.createInstancePredicate(EventBUtils.java:351)
at ac.soton.genericinstantiation.internal.core.sc.modules.CommitAxiomsPatternsModule.process(CommitAxiomsPatternsModule.java:85)
at org.eventb.core.sc.SCProcessorModule.processModules(Unknown Source)
at ac.soton.genericinstantiation.internal.core.sc.modules.PatternModule.processInstantiatesPattern(PatternModule.java:118)
at ac.soton.genericinstantiation.internal.core.sc.modules.PatternModule.process(PatternModule.java:89)
at org.eventb.core.sc.SCProcessorModule.processModules(Unknown Source)
at ac.soton.genericinstantiation.internal.core.sc.modules.GenericInstantiationModule.process(GenericInstantiationModule.java:60)
at org.eventb.core.sc.StaticChecker.runProcessorModules(Unknown Source)
at org.eventb.core.sc.StaticChecker.run(Unknown Source)
at org.rodinp.internal.core.builder.FileRunnable.run(Unknown Source)
at org.rodinp.internal.core.BatchOperation.executeOperation(Unknown Source)
at org.rodinp.internal.core.RodinDBOperation.run(Unknown Source)
at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2344)
at org.rodinp.core.RodinCore.run(Unknown Source)
at org.rodinp.core.RodinCore.run(Unknown Source)
at org.rodinp.internal.core.builder.Graph.runTool(Unknown Source)
at org.rodinp.internal.core.builder.Graph.topSortStep(Unknown Source)
at org.rodinp.internal.core.builder.Graph.topSortNodes(Unknown Source)
at org.rodinp.internal.core.builder.Graph.builderBuildGraph(Unknown Source)
at org.rodinp.internal.core.builder.RodinBuilder.buildGraph(Unknown Source)
at org.rodinp.internal.core.builder.RodinBuilder.incrementalBuild(Unknown Source)
at org.rodinp.internal.core.builder.RodinBuilder.build(Unknown Source)
at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:728)
at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:42)
at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:199)
at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:239)
at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:292)
at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:42)
at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:295)
at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:351)
at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:374)
at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:143)
at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:241)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)
Caused by: java.lang.ClassNotFoundException: ac.soton.refactory.eventb.RefactoryFormulaRewriter
at org.eclipse.osgi.internal.loader.BundleLoader.findClassInternal(BundleLoader.java:513)
at org.eclipse.osgi.internal.loader.BundleLoader.findClass(BundleLoader.java:429)
at org.eclipse.osgi.internal.loader.BundleLoader.findClass(BundleLoader.java:417)
at org.eclipse.osgi.internal.baseadaptor.DefaultClassLoader.loadClass(DefaultClassLoader.java:107)
at java.lang.ClassLoader.loadClass(ClassLoader.java:247)
... 35 more