Update LTL3BA to 1.0.2.