added junit again to Manifest file of de.prob.core.kernel