jenkins: debugging