Delete jump.h