Jenkins build became unstable: ODE-jacob » ODE :: JACOB #270

[Apache Jenkins Server]

See <https://builds.apache.org/job/ODE-jacob/org.apache.ode$jacob/270/changes>