Changes to manifest and classpath due to new versions of reasoner