DiagramDescriptor.java 6dfa2f00f7d1239c060fcdf266d57d1918422db1 GREEN
PortDescriptor.java ba5548ea779294ac109ce792d84a9f9396e70e5e GREEN
SafetyCaseDescriptor.java d7f3ac1b2e11ac18750a6e0b9ceb41ef5b989b28 GREEN
