Started on Dec 2, 2013 5:39:44 PM Using strategy: Default [poll] Last Built Revision: Revision c8ac1125de75e5930ab6b2286a54e7416b6c78d3 (origin/master) using GIT_SSH to set credentials wrzh075.rzhousing.uni-wuerzburg.de Done. Took 0.92 sec Changes found