Decompiled source of PlayerJumpPatch v0.0.2