StateSpecificationPropertySection.java 6a29beea0502dfe6ed0366664a4b7276d19bfc14 GREEN
TransitionSegmentSpecificationPropertySection.java ea4d52f589bff0349d5be509e415e7ab152cc274 GREEN
