Updated bigSemanticsCore.jar