Started on Dec 12, 2013 5:08:27 PM
Using strategy: Default
[poll] Last Built Revision: Revision 080f4390a4eea8ae445fd3b64dda31d653e2bf2d (origin/develop)
using GIT_SSH to set credentials git for projects.gwdg.de
Done. Took 0.88 sec
Changes found