git-svn-id: https://svn.surfnet.nl/svn/coin-eb/engineblock/tags/engineblock-v1.12.0@1357 528793b8-127e-4309-9901-b74759c7208d