Eclipse Sirius 3.1.1

3.1.1

Description

This is a service release with only small bugfixes compared to Sirius 3.1.0.