added tla2b to prob.kernel jar