this jenkins server wants not 1.7-SNAPSHOT, but 850...