How High Do Developers Jump?