Adapted to run with upcoming DM 4.1.3
Adapted version number to 1.3.3-SNAPSHOT
Merge branch 'master'; commit 'c14bb0bccdf08fc6362efa5f5c6cffa4ccfced58'