[DPP-Devel] Jenkins build became unstable: Test_STF #518

[<no...@fu...>]

See <http://saros-build.imp.fu-berlin.de/jenkins/job/Test_STF/518/>