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