Started on Dec 5, 2013 4:51:03 PM
Using strategy: Default
[poll] Last Built Revision: Revision 53cf023322b49c6078724315631ae2fe37762c17 (origin/develop)
using GIT_SSH to set credentials git for projects.gwdg.de
Done. Took 1.1 sec
Changes found