Upversion to junit/theories 4.12 beta 3