This is the code of the doublejump plugin