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