Updated BigSemanticsCore.jar.