Merge branch 'master' of https://gitlab.ow2.org/disl/disl into java-9

# Conflicts:
#	build.properties
16 jobs for java-9 in 22 minutes and 18 seconds (queued for 4 seconds)
latest
Status Job ID Name Coverage
  Build
passed #32201
build-10

00:00:24

passed #32202
build-11

00:00:24

passed #32203
build-12

00:00:25

passed #32204
build-13

00:00:24

passed #32205
build-14

00:00:24

passed #32206
build-15

00:00:25

passed #32199
build-8

00:00:25

passed #32200
build-9

00:00:25

 
  Test
passed #32209
test-10

00:02:30

passed #32210
test-11

00:02:33

passed #32211
test-12

00:02:23

passed #32212
test-13

00:02:20

passed #32213
test-14

00:02:19

passed #32214
test-15

00:02:11

passed #32207
test-8

00:02:06

passed #32208
test-9

00:02:33