Hudson build is back to stable: ODE-trunk #85

[Apache Hudson Server]

See http://hudson.zones.apache.org/hudson/job/ODE-trunk/85/changes